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/dafny0 | |
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/dafny0')
0 files changed, 0 insertions, 0 deletions