diff options
author | wuestholz <unknown> | 2013-05-27 14:44:45 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-05-27 14:44:45 -0700 |
commit | 424c8820500e281b9eca07322183877601de7562 (patch) | |
tree | c3f1d52e3e8d67ed9bcf6b3d85af7001d257bd25 /Source/DafnyMenu | |
parent | ef3ccef52b432a7d5c8c7db2add8102bd281b58c (diff) |
DafnyExtension: Fixed an issue (error list wasn't cleared after closing buffers).
Diffstat (limited to 'Source/DafnyMenu')
0 files changed, 0 insertions, 0 deletions