diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2015-03-04 13:17:02 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2015-03-04 13:17:02 +0000 |
commit | 4e0cdecdc3fa43dc07585ac05334bb6c9a3e622a (patch) | |
tree | 07c65e302e0dd41ff7c9a5fafb8bbd48435ee9b9 /coq/coq-smie.el | |
parent | 3a11cf88c175ac38956f513c8fe465dc39bbc712 (diff) |
Fixed compilation issue with previous commit + CHANGE updates.
Diffstat (limited to 'coq/coq-smie.el')
0 files changed, 0 insertions, 0 deletions