diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2010-09-08 15:40:17 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2010-09-08 15:40:17 +0000 |
commit | 085f52535d2939e18cdd4ae5e6b24a2220465179 (patch) | |
tree | 37b6ea61c0bc40651a07e2c9af0b2a8a63373935 /coq/coq-indent.el | |
parent | 6c2e5a4b4302619aa46089101b40102fee7a9b6b (diff) |
illustrating the wrongness of the current multifile processing for coq.
Diffstat (limited to 'coq/coq-indent.el')
0 files changed, 0 insertions, 0 deletions