diff options
-rw-r--r-- | src/Editor.cxx | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Editor.cxx b/src/Editor.cxx index 364b31fda..b68643c8f 100644 --- a/src/Editor.cxx +++ b/src/Editor.cxx @@ -4021,8 +4021,6 @@ public: CaseFolderASCII() noexcept { StandardASCII(); } - ~CaseFolderASCII() override { - } }; |