diff options
author | Rob Sloan <varomodt@gmail.com> | 2016-01-28 13:38:20 -0500 |
---|---|---|
committer | Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:39:02 -0400 |
commit | ceb005a2bfde307ccfe6a3a52efd5f07f5483f84 (patch) | |
tree | 6dc2d2c8b9d5d344dcba287f60609f3902bec94e /.gitignore | |
parent | 2fc6795648fb11ed5e5bd50f473ef477432c5365 (diff) |
recursive-build coqprime
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions