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>
Tue, 26 May 2020 12:03:18 +0000 (14:03 +0200)
commitee673a78302dc2dff99103e9d026fc72b096db51
tree3c666564cb01d67ba7a1df27666af728a146c34d
parentfe93cb128bc2b0c15ee0f4eb0a95f6d2b5d9e834
tools-xenmon-install.diff

Patch-Name: tools-xenmon-install.diff

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