| commit | aa30bef57dfa49d51a9e8a3a664d894d88d9c5a0 | [log] [tgz] |
|---|---|---|
| author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sun Mar 29 10:35:36 2020 +0100 |
| committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Sun Mar 29 10:35:36 2020 +0100 |
| tree | 237cafcdd77b748f0df51b8679b9cd988bfcfdae | |
| parent | a70398fd6e9b490d42b9dc858b06d0942e874847 [diff] |
Forget editors when they are closed even if locked