diff options
author | Pierre Courtieu <Matafou@users.noreply.github.com> | 2016-02-17 18:06:19 +0100 |
---|---|---|
committer | Pierre Courtieu <Matafou@users.noreply.github.com> | 2016-02-17 18:06:19 +0100 |
commit | 444d64cc2f68b1f012c8079a333994c3234771c6 (patch) | |
tree | c8f0a488ffca51a5bd3bfc693564e9781936a513 /coq/coq-syntax.el | |
parent | 8c4d99159f480b4d0ae5885a8d5c905cc88e0bd9 (diff) | |
parent | a6df886c3a8f4244acf3254deb8134742d939ede (diff) |
Merge pull request #28 from JasonGross/travis-24-3-4-5
travis.yml for emacs 24.{3,4,5}
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions