diff options
Diffstat (limited to 'config/enderio/OreDictionaryPreferences_User.xml')
| -rw-r--r-- | config/enderio/OreDictionaryPreferences_User.xml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/config/enderio/OreDictionaryPreferences_User.xml b/config/enderio/OreDictionaryPreferences_User.xml deleted file mode 100644 index 55ebcc2b24..0000000000 --- a/config/enderio/OreDictionaryPreferences_User.xml +++ /dev/null @@ -1,7 +0,0 @@ -<!-- -Entries in this file take precedence over the values in the core file ---> - -<OreDictionaryPreferences> - -</OreDictionaryPreferences> |