diff options
| author |  Richard L. Ford <richford@microsoft.com> | 2016-01-29 09:28:06 -0800 |
|---|---|---|
| committer | Richard L. Ford <richford@microsoft.com> | 2016-01-29 09:28:06 -0800 |
| commit | 7fb4b7f9ad53ad793eb7a66cf5ca89499d275121 (patch) | |
| tree | f7357a29f6966255c989387516b9ee00decc3a79 /Test/dafny4/Bug117.dfy | |
| parent | fca241c91ba0f27d145bf083a283491844da1da1 (diff) | |
Revert Makefile to its prior settings
The prior change did not work for people who had their
setup using the previous values.
Diffstat (limited to 'Test/dafny4/Bug117.dfy')
0 files changed, 0 insertions, 0 deletions