diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-03-17 21:05:12 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-17 21:05:12 +0100 |
commit | a7894708e924be6c3968054988b50da7f6c02c6b (patch) | |
tree | 69dde46791d00e67fed3fb40b01a287eb53716cd /coq/coq-system.el | |
parent | 315b7043953449fd6d982b01e4bcda91bb37ae7e (diff) | |
parent | 2c12ce635fb85a709b23c8af9ef490c144383da8 (diff) |
Merge pull request #347 from liyishuai/master
Setup CI for Emacs 25.3
Diffstat (limited to 'coq/coq-system.el')
0 files changed, 0 insertions, 0 deletions