diff options
| author | Pierre Courtieu | 2007-05-10 12:44:36 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2007-05-10 12:44:36 +0000 |
| commit | 6f6d43880bb19767c38580225e83965965e6ae34 (patch) | |
| tree | 03478e029b61fc6b693e3ed1c9a5e0eff44b77be /doc/docstring-magic.el | |
| parent | 37ce3dc6175e460b9d92694989c7c987bc7eee42 (diff) | |
Fixed coq prog persistent setting.
Diffstat (limited to 'doc/docstring-magic.el')
0 files changed, 0 insertions, 0 deletions