diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2011-06-17 17:03:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2011-06-17 17:03:16 +0000 |
| commit | 2c80f2c38e3d9bb7e9bf6b7e0b304a87e42a60a0 (patch) | |
| tree | 07587f08662852627e8b186366f2c9637c704468 /coq/coq-indent.el | |
| parent | 6529a8dfa67fa4e1751f2ae8d8ee7398efd4d8d6 (diff) | |
oops, undo last commit.
Diffstat (limited to 'coq/coq-indent.el')
0 files changed, 0 insertions, 0 deletions