Ticket #13469: 20190718_packaging_source.patch

File 20190718_packaging_source.patch, 269 bytes (added by Mike Bibbings, 3 years ago)
  • deb/debian/source/options

    diff --git a/deb/debian/source/options b/deb/debian/source/options
    index 776b8a3..7863630 100644
    a b  
    1 extend-diff-ignore=.github|.dockerignore
     1extend-diff-ignore=.github|.dockerignore|.clang-tidy