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>
Wed, 2 Jan 2019 19:59:41 +0000 (20:59 +0100)
commit101f56fff0c05e35bdd869a8612804603262b5d1
tree450c3fbb349f6663395a340f76da0c9faf2f6f63
parent7b01973713fd1acb30a19a6ac907d4dab01b17df
tools-xenmon-install.diff

Patch-Name: tools-xenmon-install.diff

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