diff options
| author | Erik Martin-Dorel | 2016-09-24 23:29:26 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2016-09-24 23:29:26 +0200 |
| commit | df812155800f2fb3aea39a936a6420dc79a3a501 (patch) | |
| tree | d850ea213b0531a83104c29cd60657532f44b5a8 /generic/proof-script.el | |
| parent | 80967674f6f60a190e1108b9588ed336debad0ce (diff) | |
Update .travis.yml.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions