Index: debian_installer/build.xml
===================================================================
diff -u -r81dfe8a23ea6ce7c5459f75fb9763a320cf9351b -r8503cf84d6cbcefbab38102ac8acf5a279ef92f9
--- debian_installer/build.xml (.../build.xml) (revision 81dfe8a23ea6ce7c5459f75fb9763a320cf9351b)
+++ debian_installer/build.xml (.../build.xml) (revision 8503cf84d6cbcefbab38102ac8acf5a279ef92f9)
@@ -109,7 +109,7 @@
@@ -127,7 +127,7 @@
@@ -145,7 +145,7 @@
@@ -163,7 +163,7 @@
@@ -181,14 +181,14 @@
+ copy-mindmap-tool-package,copy-pixlr-tool-package,copy-videorecorder-tool-package,copy-eadventure-tool-package">
@@ -204,7 +204,7 @@
@@ -222,7 +222,7 @@
@@ -240,7 +240,7 @@
@@ -258,7 +258,7 @@
@@ -276,7 +276,7 @@
@@ -294,12 +294,31 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+