diff options
| author |  mikebarnett <unknown> | 2010-07-30 18:14:03 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-07-30 18:14:03 +0000 |
| commit | 8ae5fd2d34c8ab9df4b117fff434dcadb9506c86 (patch) | |
| tree | a24a4420018df9435b1ed66245b5ef0d3ab8cede /Source/Basetypes/Basetypes.sscproj | |
| parent | b8a3c4ebd639c1481e543fcba2dae7829dac42e4 (diff) | |
Sign both of the Dafny projects and have Dafny.exe get a version number as well.
Diffstat (limited to 'Source/Basetypes/Basetypes.sscproj')
0 files changed, 0 insertions, 0 deletions