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