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>
Fri, 11 Jan 2019 18:01:30 +0000 (18:01 +0000)
commit9382dbbacb53f0c818fc99e5e0daf94c541faf70
treedd4c4cb6bef69f8a06a9c2e30b8e09f00cdd9190
parent6b057b78c70b94d0d1d11a8e322a2fb8ad13a087
tools-xenpaging-prefix.diff

Patch-Name: tools-xenpaging-prefix.diff

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