tools-xenmon-install.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:31 +0000 (11:47 +0200)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 10 May 2018 15:50:52 +0000 (16:50 +0100)
commita6d83a624802a38d574929ac0f90f0fcf0ae0d4f
treea91f01b3f506529c508fc469aab8a076ec113612
parent7df011498beb1b929dd00356808eea588911d932
tools-xenmon-install.diff

Patch-Name: tools-xenmon-install.diff

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