diff options
author | Yishuai Li <yishuai@cis.upenn.edu> | 2018-04-13 20:09:00 -0400 |
---|---|---|
committer | Yishuai Li <yishuai@cis.upenn.edu> | 2018-04-15 02:58:06 -0400 |
commit | 01aa4fb84a32d0a94f88c5ec785030264452ae91 (patch) | |
tree | 3146e666de421ddc4f0edd50b81858069e3cb133 /toplevel/coqargs.ml | |
parent | c291a8829556dc2a61fcacc08b34e1d68d66b89e (diff) |
Simplify CircleCI script
Diffstat (limited to 'toplevel/coqargs.ml')
0 files changed, 0 insertions, 0 deletions