diff options
author | Andres Erbsen <andreser@mit.edu> | 2016-06-12 13:56:00 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2016-06-12 13:56:00 -0400 |
commit | 64dfbafc5cc91a3579045829f0a0157232e64256 (patch) | |
tree | 84034f2cbcd1df0c20e9df2b5412d4e69b7830b2 /_CoqProject | |
parent | 6823b63275333ebb11c7f84068894f76cdb06068 (diff) |
indent
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions