diff options
author | 2017-04-25 16:01:28 +0200 | |
---|---|---|
committer | 2017-04-25 16:01:28 +0200 | |
commit | d2293966dfa556c6f236e86f1f204cee31bcc7be (patch) | |
tree | d92a4b5bf2a1decb2090ebed1da111c58a51f9d6 /coq | |
parent | 1a18e33658645a81225c56b5d4f4a4b89434d301 (diff) |
[Travis CI] Replace emacs-git target with emacs-25.{1,2} stable targets. (#181)
This commit contributes to shorten the real time of Travis' automated build.
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions