diff options
| author |  wuestholz <unknown> | 2014-09-28 12:16:18 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-09-28 12:16:18 +0200 |
| commit | 0cd6f5a6bb63c9c6aa184e83a6ed497c948f9413 (patch) | |
| tree | 9045ad973c3f70ee58a856ae68aa91c8584dc29a /.hgignore | |
| parent | 59159f3c829439dc50bff075e695b966def65a44 (diff) | |
DafnyExtension: Made it not log the pretty-printed program.
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions