Index: debian_installer/build.xml
===================================================================
diff -u -rbae6cea7eb46a03b052335fead84b0a9723ec7ff -rce7e814be3ddb3a279e7bc06e3b3e0ce5b4fbae8
--- debian_installer/build.xml (.../build.xml) (revision bae6cea7eb46a03b052335fead84b0a9723ec7ff)
+++ debian_installer/build.xml (.../build.xml) (revision ce7e814be3ddb3a279e7bc06e3b3e0ce5b4fbae8)
@@ -12,11 +12,12 @@
-
-
-
-
-
+
+
+
+
+
+
@@ -61,7 +62,13 @@
-
+
+
+
+
+
+
+
@@ -76,7 +83,218 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+