diff options
| author |  qunyanm <unknown> | 2015-10-28 11:28:48 -0700 |
|---|---|---|
| committer | qunyanm <unknown> | 2015-10-28 11:28:48 -0700 |
| commit | de000ae9557791fe4cf182eb29eb25d63e4d800e (patch) | |
| tree | 92812c77b937aa7e9572a82170d3cc909fcf233c /Test/dafny4 | |
| parent | ab999651fc184fdc6a0cb4b52d1253e6c4b9a060 (diff) | |
Check version info before delete white space so that it will work with python
version that is less than 3.
Diffstat (limited to 'Test/dafny4')
0 files changed, 0 insertions, 0 deletions