* Debian does not allow binary stuff, so we just remove it. And i think we
authortwisti <none@none>
Tue, 27 Sep 2005 22:39:36 +0000 (22:39 +0000)
committertwisti <none@none>
Tue, 27 Sep 2005 22:39:36 +0000 (22:39 +0000)
  don't need it actually.

contrib/java-getopt-1.0.11.jar [deleted file]
contrib/kjc-2.2C-bin.jar [deleted file]

diff --git a/contrib/java-getopt-1.0.11.jar b/contrib/java-getopt-1.0.11.jar
deleted file mode 100644 (file)
index 69869d1..0000000
Binary files a/contrib/java-getopt-1.0.11.jar and /dev/null differ
diff --git a/contrib/kjc-2.2C-bin.jar b/contrib/kjc-2.2C-bin.jar
deleted file mode 100644 (file)
index b7416af..0000000
Binary files a/contrib/kjc-2.2C-bin.jar and /dev/null differ