summaryrefslogtreecommitdiff
path: root/Test/dafny0/snapshots/runtest.snapshot
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 /Test/dafny0/snapshots/runtest.snapshot
parent0277507a0999bd7502da067dc698340a1efe457b (diff)
Update dependencies and Standards-Version
Diffstat (limited to 'Test/dafny0/snapshots/runtest.snapshot')
0 files changed, 0 insertions, 0 deletions