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 @@ + + + + + + + + + + + + + + + +