diff options
| author | Pierre Courtieu | 1999-10-12 14:24:23 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 1999-10-12 14:24:23 +0000 |
| commit | 7b55c63f7e90a76cd8c1ec084e86342d20ef2773 (patch) | |
| tree | 1cd7ab39f4340cc0cf39616d70e5fe370dfa18ab /html | |
| parent | dc7d2b64efc46cbb93f3b26245dad012ead0e843 (diff) | |
This a try for commit, just changed the name of the maintainer of coq.el
by my name Pierre Courtieu.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions