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..a7a4674 --- /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 (3.11~deb9u1) update-gitignore] +--- +diff --git a/.gitignore b/.gitignore +new file mode 100644 +index 0000000..26a7c92 +--- /dev/null ++++ b/.gitignore +@@ -0,0 +1 @@ ++/.pc/ diff --git a/debian/patches/series b/debian/patches/series index 05b8717..f349004 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,4 @@ proc_mount.diff clock-granularity.diff show_pdflatex_output.diff +auto-gitignore |