tools-xentrace-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:14 +0000 (11:47 +0200)
committerIan Jackson <ian.jackson@citrix.com>
Mon, 18 Jun 2018 15:10:38 +0000 (16:10 +0100)
commit9e871ddcb36e88c86571cf32d09e4f8d88e4cd0b
treeb68378d8d200366612ad846db81509e41d5f026b
parent91de2bb2fbb667ff5c5b0fe4af24e320c5836a75
tools-xentrace-prefix.diff

Patch-Name: tools-xentrace-prefix.diff

Gbp-Pq: Name tools-xentrace-prefix.diff
tools/xentrace/Makefile