Remove patch 03_external_apps.patch, refresh patches 02_libs.patch and
authorgregor herrmann <gregoa@debian.org>
Thu, 15 Apr 2010 17:49:29 +0000 (17:49 -0000)
committergregor herrmann <gregoa@debian.org>
Thu, 15 Apr 2010 17:49:29 +0000 (17:49 -0000)
commitb8933e2d1560574fa6fb83c7b613bb1811e50bc7
treec9791dc639e6a736060da7e20154a344ed26aec4
parentfa37e0558d2ecec1ed57d850f380afd60dc0bbb1
Remove patch 03_external_apps.patch, refresh patches 02_libs.patch and
06_BibtexEntry.patch.
debian/changelog
debian/patches/01_free_javac.patch
debian/patches/02_libs.patch
debian/patches/03_external_apps.patch [deleted file]
debian/patches/05_antlr.patch
debian/patches/06_BibtexEntry.patch
debian/patches/series