diff options
| author | Pierre Courtieu | 2004-03-31 17:29:23 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-31 17:29:23 +0000 |
| commit | 21bdeaae941e22806b963c417073049201b16c73 (patch) | |
| tree | 41d0cd78cda0cecde711fd7b43237d057e9d6e83 /pgshell | |
| parent | 6a19e3a7e01551b755ed3947378c89f3d82efbe4 (diff) | |
added subscript in x-symbols-coq.el.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions