diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-11 18:20:36 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-11 18:20:36 -0400 |
| commit | 310cbce365ddefd1dd83b5b1e1a8cad313c23ffd (patch) | |
| tree | 97c26b11c4cd96dc8a0e7b8ff215d55430a1038d /src/Util/IdfunWithAlt.v | |
| parent | c9a9845177cb03da8d571419918c039b04882bd1 (diff) | |
Don't print directory when entering coqprime folder
Diffstat (limited to 'src/Util/IdfunWithAlt.v')
0 files changed, 0 insertions, 0 deletions