Remove obsolete files

diff --git a/resources/Tools_en.xml b/resources/Tools_en.xml
deleted file mode 100644 (file)
index 7457ddc..0000000
--- a/resources/Tools_en.xml
+++ /dev/null
@@ -1,21 +0,0 @@
-<?xml version='1.0' encoding='us-ascii'?>
-<!DOCTYPE application PUBLIC "" "desktop.dtd">
-
-<!--  GUI customization   -->
-
-<application
-       title="SALOMEGUI Application "
-       date="14 novembre 2001"
-       author="Nicolas REJNERI"
-       appId="" 
-       >
-       <desktop>
-         <menubar>
-           <menu-item label-id="Tools" item-id="5" pos-id="">
-                <popup-item item-id="5101" pos-id="2" label-id="Registry" icon-id="" tooltip-id="" accel-id="" toggle-id="" execute-action="onDispatchTools" chaine="libRegistryDisplay.so"/>
-                <popup-item item-id="5102" pos-id="3" label-id="Catalog Generator" icon-id="" tooltip-id="" accel-id="" toggle-id="" execute-action="onDispatchTools" chaine=""/>
-           </menu-item>
-         </menubar>
-       </desktop>      
-</application>
-

diff --git a/resources/Tools_fr.xml b/resources/Tools_fr.xml
deleted file mode 100644 (file)
index 7457ddc..0000000
--- a/resources/Tools_fr.xml
+++ /dev/null
@@ -1,21 +0,0 @@
-<?xml version='1.0' encoding='us-ascii'?>
-<!DOCTYPE application PUBLIC "" "desktop.dtd">
-
-<!--  GUI customization   -->
-
-<application
-       title="SALOMEGUI Application "
-       date="14 novembre 2001"
-       author="Nicolas REJNERI"
-       appId="" 
-       >
-       <desktop>
-         <menubar>
-           <menu-item label-id="Tools" item-id="5" pos-id="">
-                <popup-item item-id="5101" pos-id="2" label-id="Registry" icon-id="" tooltip-id="" accel-id="" toggle-id="" execute-action="onDispatchTools" chaine="libRegistryDisplay.so"/>
-                <popup-item item-id="5102" pos-id="3" label-id="Catalog Generator" icon-id="" tooltip-id="" accel-id="" toggle-id="" execute-action="onDispatchTools" chaine=""/>
-           </menu-item>
-         </menubar>
-       </desktop>      
-</application>
-

diff --git a/resources/config b/resources/config
deleted file mode 100644 (file)
index 6925397..0000000
--- a/resources/config
+++ /dev/null
@@ -1 +0,0 @@
-language=en
\ No newline at end of file