summaryrefslogtreecommitdiff
path: root/Source/DafnyMenu/source.extension.vsixmanifest
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2016-04-06 16:48:57 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2016-04-06 16:48:57 -0400
commit000aa762e1fee4b9bd83ec3d7c8b61fd203e2c9d (patch)
treef9cd397bf1a3f88c473ac104b67cb193fce44cef /Source/DafnyMenu/source.extension.vsixmanifest
parent0277507a0999bd7502da067dc698340a1efe457b (diff)
Update dependencies and Standards-Version
Diffstat (limited to 'Source/DafnyMenu/source.extension.vsixmanifest')
0 files changed, 0 insertions, 0 deletions