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, 22 Jun 2018 15:38:39 +0000 (16:38 +0100)
commit08018fbf5e3346c41b923027f711ff20ec19694b
treeac24d942c36c7c297e941e29ea782585e2eca80e
parentc47300b609770e63b9226adc7457dfb9a866c71e
tools-misc-prefix.diff

Patch-Name: tools-misc-prefix.diff

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