tools-xenmon-install.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:31 +0000 (11:47 +0200)
committerIan Jackson <ian.jackson@eu.citrix.com>
Thu, 7 Sep 2017 18:17:58 +0000 (19:17 +0100)
commit64da688a5e9b457a2e969dfeb24dffe36de2954f
treefe44d2152e99603ccb1848bdbba1c6124f2adad9
parent90fac357aa74b6eca1b4dbcc213a0f6a57f8996d
tools-xenmon-install.diff

Patch-Name: tools-xenmon-install.diff

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