# HG changeset patch
# User Windel Bouwman
# Date 1397224220 -7200
# Node ID 83b462f14e67f38da2b2bc41272dbd29fadc4da9
# Parent 9667d78ba79e649bcbabb48246c1f650c34e943a
Small fix
diff -r 9667d78ba79e -r 83b462f14e67 kernel/build.xml
--- a/kernel/build.xml Fri Apr 11 15:47:50 2014 +0200
+++ b/kernel/build.xml Fri Apr 11 15:50:20 2014 +0200
@@ -8,7 +8,7 @@
-
+