diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-07-26 00:07:20 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-07-26 00:24:40 +0200 |
commit | 462e3efa33e9ceeb19ede020d6471c3bb0215ea6 (patch) | |
tree | 95e195624c21c5cda7c0865b30b15a033268c2f5 /coq/coq-syntax.el | |
parent | 04e8a323da07c67031f4c0e23a020ba245938a0c (diff) |
Fix whitespace to comply with Markdown syntax.
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions