diff options
| author | Pierre Courtieu | 2008-07-21 16:45:45 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2008-07-21 16:45:45 +0000 |
| commit | 5e8ff235a4b74a0ab716e9c59bb7961daf5bde7c (patch) | |
| tree | 05042c3207b87ac698d6d6afaa796525c1aad27c /lib/pg-dev.el | |
| parent | 779466b0ead451de11b91da93e9bafb08a1088cc (diff) | |
Changed the main menu of coq. Changed a shortcut for holes.
Diffstat (limited to 'lib/pg-dev.el')
0 files changed, 0 insertions, 0 deletions