diff options
Diffstat (limited to 'src')
| -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 { -	}  }; | 
