diff options
author | 2016-09-05 11:38:44 -0700 | |
---|---|---|
committer | 2016-09-05 15:31:28 -0700 | |
commit | 8029a8bdc4b6f39d72ce0807d856b0ae832a53cb (patch) | |
tree | 23c2ac075a26c1a5c6c1c4247523bb13bbcf93e8 /src | |
parent | 7aeb1054f646c838b109b27160e224191ac75bd4 (diff) |
Fix _CoqProject
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions