tools-xenpaging-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:08 +0000 (11:47 +0200)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 10 May 2018 15:50:52 +0000 (16:50 +0100)
commitf1c7dffadc3ccd32c6d34e984084fbb40b93c74c
tree5f5909b7d7a316778dcf042b6fee9b5e43f61d1d
parent80af0ebfa55a31310f3173187868584f76e9641c
tools-xenpaging-prefix.diff

Patch-Name: tools-xenpaging-prefix.diff

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