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/Bug110.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/Bug110.dfy')
0 files changed, 0 insertions, 0 deletions