diff options
Diffstat (limited to 'p/haxml/debian/patches/series')
-rw-r--r-- | p/haxml/debian/patches/series | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/p/haxml/debian/patches/series b/p/haxml/debian/patches/series deleted file mode 100644 index a9676f56e..000000000 --- a/p/haxml/debian/patches/series +++ /dev/null @@ -1,4 +0,0 @@ -02_change-references.diff -04_no-hugs-package-cmd.diff -08_update-licences.diff -11_haddock-typo.diff |