diff options
author | jadep <jade.philipoom@gmail.com> | 2017-11-16 14:02:02 -0500 |
---|---|---|
committer | jadep <jade.philipoom@gmail.com> | 2017-11-16 14:02:02 -0500 |
commit | a7cbc1fe6f1f01a877dec0f638f0345fe27804a7 (patch) | |
tree | e8ae904e9a4e60a2f6720ed5ceefa2c3a9c5820f /_CoqProject | |
parent | e3c4cb2c094b3cddf1b6f4c7da7ff5a8f4a9c283 (diff) |
change how input data is gathered and tweak tables
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions