diff options
| author | Pierre Courtieu | 2004-02-26 16:03:50 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-02-26 16:03:50 +0000 |
| commit | ba73618dfde07dcf7f56afd22f9e746248be5b67 (patch) | |
| tree | cc181f04802507b4d7b8f4f2c952349323da1b76 /FAQ | |
| parent | 02fca80f58ddc5dda8e424702d778f07993fb4cf (diff) | |
little changes of menu/holes/abbrev in coq/pg
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions