tools-misc-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:46:59 +0000 (11:46 +0200)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 11 Jan 2019 18:01:30 +0000 (18:01 +0000)
commit8abe72cba05dc497a39cde072a17c5734e19cb95
tree5c377e0d560b7085eb4236ad0a43f5ab69ff225e
parent6c18afa7896e71b191dd7d1c2db32bceca418874
tools-misc-prefix.diff

Patch-Name: tools-misc-prefix.diff

Gbp-Pq: Name tools-misc-prefix.diff
tools/misc/Makefile