diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-13 09:44:10 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-13 09:44:10 -0700 |
| commit | 9f2ef5e9fc8bf13ba51180e608501eded3dbdbea (patch) | |
| tree | c92ed97f13888c1539b4580f9ef2c8ff8307ba1c /Test/cloudmake | |
| parent | 3c6bbc3ee8a0452bcca193217957e6ea5e6e23f4 (diff) | |
Add a wrapper script around the Dafny binary (for mono).
Diffstat (limited to 'Test/cloudmake')
0 files changed, 0 insertions, 0 deletions