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