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