diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-08-18 19:31:47 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-08-18 19:31:47 +0200 |
commit | 37fa6de5424f62266593258d33cebad96d9d6d86 (patch) | |
tree | 8053795ba73ee4f1123ac5fc87f95feaa5bafe4c /coq/coq.el | |
parent | b238dab7a2f8a52281a920df027c3dea4fc4b28c (diff) |
Fix #7980, keep option order unchanged.
Diffstat (limited to 'coq/coq.el')
0 files changed, 0 insertions, 0 deletions