]> xenbits.xensource.com Git - people/pauldu/xennet.git/commit
projects / people / pauldu / xennet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cda57e4) | patch
Make sure version header gets re-built each time
authorPaul Durrant <paul.durrant@citrix.com>
Fri, 19 Dec 2014 13:04:06 +0000 (13:04 +0000)
committerPaul Durrant <paul.durrant@citrix.com>
Fri, 19 Dec 2014 13:04:06 +0000 (13:04 +0000)
commite55642ba4ce250ed4480c08c3cab250721eb8b7e
tree2dec7f6069479344388153ee9f08d7220845ef62tree
parentcda57e4aa18198bd41b237e574ea9f71c8f2cba6commit | diff
Make sure version header gets re-built each time

Signed-off-by: Paul Durrant <paul.durrant@citrix.com>
build.py diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.