diff options
| author |  Christian Klauser <sealedsun@gmail.com> | 2012-03-27 13:53:16 +0200 |
|---|---|---|
| committer | Christian Klauser <sealedsun@gmail.com> | 2012-03-27 13:53:16 +0200 |
| commit | 3b45b6e751b6dd8f45a88f1c3ed909f3917f6083 (patch) | |
| tree | 064c3443ad479571893247af6a12b9647442526a /Test/dafny0/Refinement.dfy | |
| parent | d431e64ec25cee45bdc4f1c05db4e50e27c5333d (diff) | |
Update test script shortcuts to work in Powershell (which supplies an absolute path as %0 instead of just the scripts name)
Diffstat (limited to 'Test/dafny0/Refinement.dfy')
0 files changed, 0 insertions, 0 deletions