tools-include-install.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:30 +0000 (11:47 +0200)
committerWolodja Wentland <debian@babilen5.org>
Wed, 15 Aug 2018 22:51:28 +0000 (23:51 +0100)
commit54d7632ab22d864a219f9465e7c9bcf6ce3ec682
tree8bd99273255fa02a3bdf8a97cb7536c53a7d6281
parente1f788b06821f092ee0a5838f0ac349bb41ab26d
tools-include-install.diff

Patch-Name: tools-include-install.diff

Gbp-Pq: Name tools-include-install.diff
tools/include/Makefile