diff options
-rw-r--r-- | debian/patches/auto-gitignore | 15 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 16 insertions, 0 deletions
diff --git a/debian/patches/auto-gitignore b/debian/patches/auto-gitignore new file mode 100644 index 0000000..58d1b87 --- /dev/null +++ b/debian/patches/auto-gitignore @@ -0,0 +1,15 @@ +Subject: Update .gitignore from Debian packaging branch + +The Debian packaging git branch contains these updates to the upstream +.gitignore file(s). This patch is autogenerated, to provide these +updates to users of the official Debian archive view of the package. + +[dgit (11.1) update-gitignore] +--- +diff --git a/.gitignore b/.gitignore +new file mode 100644 +index 0000000..845ca06 +--- /dev/null ++++ b/.gitignore +@@ -0,0 +1 @@ ++.pc 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 |