diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-22 23:59:00 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-22 23:59:00 -0700 |
commit | 994a151bc3646b76283b1d5fafdb91a5a26c821c (patch) | |
tree | 7252079abeb55ee6a636bb2506892bd36fbbb3c6 /Test/dafny0 | |
parent | 7a86aab6b034dafe36635178b277393cb5a2abb8 (diff) |
Ignore .bpl files in the Test directory
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions