diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-04-09 22:37:22 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2019-04-11 11:01:29 -0400 |
| commit | be2789ada63a1a5a6710da1abc73430f9b676399 (patch) | |
| tree | 8ade84e8cf5f84bd2780ab0d87efcebb3fa744c9 /src/Rewriter/ToFancy.v | |
| parent | 606f334bbbf480f8e08c57945a7d4001dc267af6 (diff) | |
rm src/*.out, now that we no longer generate these
Diffstat (limited to 'src/Rewriter/ToFancy.v')
0 files changed, 0 insertions, 0 deletions