diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-09-09 07:02:54 -0400 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-09-09 07:02:54 -0400 |
commit | ca96e3974019ca956f46c91eb07b2c2dfede1d29 (patch) | |
tree | 1cf35270aa550ae97f2292f7b28278673a6c710d /INSTALL | |
parent | 510623d57984f81105c621c898c60c79d3a32c0f (diff) |
Fix #90
The mono wrapper for Dafny didn't forward command line arguments.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions