summaryrefslogtreecommitdiff
path: root/Source/DafnyMenu
diff options
context:
space:
mode:
authorGravatar wuestholz <unknown>2013-05-21 17:41:31 -0700
committerGravatar wuestholz <unknown>2013-05-21 17:41:31 -0700
commitce5332305ddebb41e6235bcf1c5a501c7b93ddd8 (patch)
tree7b05a74815ad04599d55b436b2639100a8a43121 /Source/DafnyMenu
parentee9462ab6c829ef9d81726d1209f84429ed2d879 (diff)
Minor change to a project file
Diffstat (limited to 'Source/DafnyMenu')
0 files changed, 0 insertions, 0 deletions