diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2015-03-26 16:40:23 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-26 16:40:23 +0000 |
commit | a8e3c5e6d52bbf52bee76dd1609b7fca9bd48f3e (patch) | |
tree | af0a3e459ffde6f3e2bc5a8d8315ecbb63bf3728 /coq/coq-abbrev.el | |
parent | f9663fdac4e0204b535abb9a6ff509e5717a82a0 (diff) |
A remark about project file in the documentation.
Saying that one -arg should be followed by only one option. For
several options, put several -arg, ONE PER LINE.
Diffstat (limited to 'coq/coq-abbrev.el')
0 files changed, 0 insertions, 0 deletions