local-nocheck-installed-headers
authorGNU Libc Maintainers <debian-glibc@lists.debian.org>
Mon, 16 Jul 2018 20:23:13 +0000 (21:23 +0100)
committerAurelien Jarno <aurel32@debian.org>
Mon, 16 Jul 2018 20:23:13 +0000 (21:23 +0100)
commit428aa85f1e2757d54eabb33477fb03db8b6ad506
tree9b603e9a64c32c0c5de25722853cb099ffdd6c98
parent5cfa8ddfec8d2b0699edb9e3d0d864a5a002ffc6
local-nocheck-installed-headers

Gbp-Pq: Topic hurd-i386
Gbp-Pq: Name local-nocheck-installed-headers.diff
scripts/check-installed-headers.sh