Ticket #13469: 20190718_packaging_source.patch

File 20190718_packaging_source.patch, 269 bytes (added by Mike Bibbings, 5 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