diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 16:45:25 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 16:45:25 -0700 |
commit | ce07a29685a27f01c596271e03d6a39a7090d12e (patch) | |
tree | ae2dc920250a0ef0cdcb45142d9587a9bc8e5042 /Source/Dafny.sln | |
parent | 6eeaf689c0ae81bf9df46f975b014b2b9e465f0a (diff) |
Update install notes and test them
Diffstat (limited to 'Source/Dafny.sln')
0 files changed, 0 insertions, 0 deletions