diff options
author | 2018-04-13 20:09:00 -0400 | |
---|---|---|
committer | 2018-04-15 02:58:06 -0400 | |
commit | 01aa4fb84a32d0a94f88c5ec785030264452ae91 (patch) | |
tree | 3146e666de421ddc4f0edd50b81858069e3cb133 /test-suite/coqdoc/bug5648.tex.out | |
parent | c291a8829556dc2a61fcacc08b34e1d68d66b89e (diff) |
Simplify CircleCI script
Diffstat (limited to 'test-suite/coqdoc/bug5648.tex.out')
0 files changed, 0 insertions, 0 deletions