diff --git a/build.xml b/build.xml index 5d65961a9..a74e4ff6e 100644 --- a/build.xml +++ b/build.xml @@ -214,7 +214,7 @@ - + @@ -225,9 +225,9 @@ - - - + + + @@ -238,8 +238,6 @@ - - diff --git a/etc/libs-incl.xml b/etc/libs-incl.xml index 253a432d5..8ce534510 100644 --- a/etc/libs-incl.xml +++ b/etc/libs-incl.xml @@ -14,5 +14,8 @@ + + + diff --git a/lib/builtin.abc b/lib/builtin.abc deleted file mode 100644 index 403132f56..000000000 Binary files a/lib/builtin.abc and /dev/null differ diff --git a/lib/thane.abc b/lib/thane.abc deleted file mode 100644 index c7ea8d4a0..000000000 Binary files a/lib/thane.abc and /dev/null differ