diff options
author | 2018-03-17 21:05:12 +0100 | |
---|---|---|
committer | 2018-03-17 21:05:12 +0100 | |
commit | a7894708e924be6c3968054988b50da7f6c02c6b (patch) | |
tree | 69dde46791d00e67fed3fb40b01a287eb53716cd /coq | |
parent | 315b7043953449fd6d982b01e4bcda91bb37ae7e (diff) | |
parent | 2c12ce635fb85a709b23c8af9ef490c144383da8 (diff) |
Merge pull request #347 from liyishuai/master
Setup CI for Emacs 25.3
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions