Remove other patches, applied upstream or obsolete.
authorgregor herrmann <gregoa@debian.org>
Mon, 29 Oct 2012 18:06:45 +0000 (19:06 +0100)
committergregor herrmann <gregoa@debian.org>
Mon, 29 Oct 2012 20:17:46 +0000 (21:17 +0100)
commit057276547a26f9b8d5030d3010eb96b942e9b75f
tree7e0342e989aea261359ab10b3b3c0294c514dbc3
parentbdb6e49ce8207957786741bf5807b77f2aa29365
Remove other patches, applied upstream or obsolete.
debian/patches/05_antlr32.patch [deleted file]
debian/patches/06_BibtexEntry.patch [deleted file]
debian/patches/07_pdfbox1.5.patch [deleted file]
debian/patches/08_doubleextensions.patch [deleted file]
debian/patches/09_looks2.5.patch [deleted file]
debian/patches/series