diff options
author | 2016-06-27 11:49:55 -0700 | |
---|---|---|
committer | 2016-06-27 11:49:55 -0700 | |
commit | 68c13c34a3be9035769193512f794cf805550df4 (patch) | |
tree | 1a04618e745fd368887a0942c3e2c1f6f7987be0 /_CoqProject | |
parent | 27aa3a1e358ca9281721e3a3f4137979d16aab7e (diff) |
Update .gitignore
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions