diff options
| author |  wuestholz <unknown> | 2013-08-03 18:05:42 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-08-03 18:05:42 -0700 |
| commit | 04026edf3d0e905362a51995f246d3c2c0807c81 (patch) | |
| tree | 1fa51be1d7095f4f19437e01113b12f5e5027db1 /.hgignore | |
| parent | 8af0f2d97ab5ca1a212c7f4901c43059ccb08e36 (diff) | |
DafnyExtension: Did some refactoring and added a description to error states.
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions