diff options
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 32b3dc7..92bb17f 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -3,3 +3,4 @@ 0003-Compile-with-ocamlnet-4.0.4.patch 0004-Fix-compilation-with-OCaml-4.08.0.patch 0005-Fix-test-suite.patch +auto-gitignore |