diff --git a/build/build.xml b/build/build.xml index 18d90b856..090280832 100644 --- a/build/build.xml +++ b/build/build.xml @@ -945,8 +945,15 @@ tofile="linux/debian/usr/share/mime/packages/processing.xml" /> + + + + + + +