diff options
author | Michal Moskal <michal@moskal.me> | 2011-04-04 16:39:37 -0700 |
---|---|---|
committer | Michal Moskal <michal@moskal.me> | 2011-04-04 16:39:37 -0700 |
commit | 2b09756f836307f75a36c5a982784dc620fda657 (patch) | |
tree | 5e0379c714710fd19da974e55076d25c1dfa89a4 /Test/dafny0/Answer | |
parent | 988738952e291361d7f301a179159ffdbbd5374f (diff) |
Ignore generated files
Diffstat (limited to 'Test/dafny0/Answer')
0 files changed, 0 insertions, 0 deletions