diff options
author | jadep <jade.philipoom@gmail.com> | 2017-11-12 14:46:10 -0500 |
---|---|---|
committer | jadep <jade.philipoom@gmail.com> | 2017-11-12 15:01:59 -0500 |
commit | 8c296e81231b8e1fa66d1cba2426ab1f891b7593 (patch) | |
tree | 5c20946ddc82f808c4a50dba5833c4d4eeed3e72 /.gitignore | |
parent | 795d24349b9aca1d9732c7b7fcaa505f24fa4bc6 (diff) |
automatic modifications to _Coqproject with new files
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions