# A manually maintained sorted list of files that we know can appear in # debian/source/ format git-patches include-binaries lintian-overrides options patch-header