diff options
| author | Andrea Catania <info@andreacatania.com> | 2018-05-08 00:59:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-08 00:59:22 +0200 |
| commit | 6c4916ddf56e999e4dd3d85a2890cfa610d20ba6 (patch) | |
| tree | 1b86f7880c871faee83a6c9d55f1177b25a2a1cc /main | |
| parent | 633bbdb2318a9776b651264ea6146bd805a16fb8 (diff) | |
Removed pointer deletion during editor closing
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions