diff options
author | wuestholz <unknown> | 2013-05-21 14:13:05 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-05-21 14:13:05 -0700 |
commit | 45638021e2d82e5cd16621ce5a0909ba9804eeaf (patch) | |
tree | 636e917314b62563ab731b794568a9f438f796b6 /Test | |
parent | 2fa6ad2a4dbf072afd0b99e35c3dc5defedb0ad0 (diff) |
Updated several project files.
Note that the 'boogie' directory is expected to be a sibling of the
'dafny' directory.
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions