diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-11-30 16:43:50 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-11-30 16:43:50 +0100 |
commit | 2016f5f71f497bc7906c945b088ad93689ffd2bf (patch) | |
tree | cae91d8a3d79eb7f6b503365de7b0d54ec0a96be /coq/coq-smie.el | |
parent | 22c3951cfdf4938fa6df7368daed7bead05e4592 (diff) |
Updated the CHANGES files, mainly git url.
Diffstat (limited to 'coq/coq-smie.el')
0 files changed, 0 insertions, 0 deletions