diff kernel/build.xml @ 407:9eb1fc6aad6c

Minor improvements
author Windel Bouwman
date Fri, 20 Feb 2015 15:47:54 +0100
parents a284749c5729
children ad6be5454067
line wrap: on
line diff