diff options
author | 2014-07-08 16:37:46 -0700 | |
---|---|---|
committer | 2014-07-08 16:37:46 -0700 | |
commit | b8fbc5d9e51283ddf952d6eea30e4e24e79624a9 (patch) | |
tree | 2c511ad4f78f226cafd3b04b640a7bd9e9e4c715 /Test/dafny0/snapshots/runtest.snapshot.expect | |
parent | e114841f66691bd534bafc9b12d993fb246e375b (diff) |
Build VS Extension for both VS 2012 and VS 2013.
Currently builds only in VS 2012. To build in VS 2013, change MinimumVisualStudioVersion from 11.0 to 12.0 in these two .csproj files.
Diffstat (limited to 'Test/dafny0/snapshots/runtest.snapshot.expect')
0 files changed, 0 insertions, 0 deletions