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/Algebra/Ring.v | |
parent | 606f334bbbf480f8e08c57945a7d4001dc267af6 (diff) |
rm src/*.out, now that we no longer generate these
Diffstat (limited to 'src/Algebra/Ring.v')
0 files changed, 0 insertions, 0 deletions