diff options
| author |  tabarbe <unknown> | 2010-07-27 23:29:26 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-27 23:29:26 +0000 |
| commit | 265e8c2218ed7e6b93fdaa824efe24352eab7112 (patch) | |
| tree | 7fd9bc5e8b27d5ba05d5f138a3e84a61dcf234fb /Source/XAHA/XAHA.sscproj | |
| parent | 586624b887bab4a732c987775279d36bb01500bf (diff) | |
Boogie Provers: Changed the references from binary to project references.
Diffstat (limited to 'Source/XAHA/XAHA.sscproj')
0 files changed, 0 insertions, 0 deletions