tools-xenmon-install.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:31 +0000 (11:47 +0200)
committerHans van Kranenburg <hans@knorrie.org>
Thu, 1 Oct 2020 12:50:58 +0000 (13:50 +0100)
commit99a99c2acc1f09214a68c0755098c5efc2b75723
treeb234d75b6cbcc076d85918d1d04e21fd48777e28
parentc72804b739a453a3d43e5cfd9114d926c040355e
tools-xenmon-install.diff

Patch-Name: tools-xenmon-install.diff

Gbp-Pq: Topic misc
Gbp-Pq: Name tools-xenmon-install.diff
tools/xenmon/Makefile