Revert "Merge branch 'patch-1' into 'master'"

This reverts merge request !1
This commit is contained in:
ekresse
2020-12-02 07:56:57 +01:00
parent 94c5f454f8
commit 430573b627
23 changed files with 0 additions and 722 deletions

View File

@@ -1,2 +0,0 @@
eclipse.preferences.version=1
org.eclipse.ltk.core.refactoring.enable.project.refactoring.history=false