diff options
author | Neil <nyamatongwe@gmail.com> | 2019-03-03 16:17:24 +1100 |
---|---|---|
committer | Neil <nyamatongwe@gmail.com> | 2019-03-03 16:17:24 +1100 |
commit | 93d87606364468124d9f4072375c82d03c3e5130 (patch) | |
tree | cf932d3a7180170ecd06af0526087e93a47366d8 | |
parent | e55ed4dd7a0caf0b4a6fdb4e6e2b30e159e772d2 (diff) | |
download | scintilla-mirror-93d87606364468124d9f4072375c82d03c3e5130.tar.gz |
Remove destructor that doesn't need to be defined.
-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 { - } }; |