tools-xenmon-install.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:31 +0000 (11:47 +0200)
committerIan Jackson <ian.jackson@citrix.com>
Mon, 18 Jun 2018 15:10:38 +0000 (16:10 +0100)
commitd5bd1a5b2d1fe584c1128f8e84d58ba5e76ccb56
tree6c24118b631e78439c8304a6878c6bec52620b88
parent4787012f223a44ac1bd802b593c8e83a05753828
tools-xenmon-install.diff

Patch-Name: tools-xenmon-install.diff

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