summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStéphane Glondu <glondu@debian.org>2023-08-09 13:39:35 +0200
committerStéphane Glondu <glondu@debian.org>2023-08-09 13:39:35 +0200
commitc2df4a68eca475b509d94d316a13867508db95a7 (patch)
tree75f9e4ac9a2caf3a959f053da70386bfb1a2e8d8
parentec668d38ad5aa4db5b831a601c0c0b88c22dd70f (diff)
Commit patch to update .gitignore
[dgit (11.1) update-gitignore-quilt-fixup]
-rw-r--r--debian/patches/auto-gitignore15
-rw-r--r--debian/patches/series1
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