]> xenbits.xensource.com Git - xenrt-citrix/xenrt.git/commitdiff
Merge branch 'distmaster' into 'master'
authorDaniel Lamping <daniel.lamping@citrix.com>
Tue, 13 Oct 2015 14:38:27 +0000 (07:38 -0700)
committerDaniel Lamping <daniel.lamping@citrix.com>
Tue, 13 Oct 2015 14:38:27 +0000 (07:38 -0700)
added manifest

See merge request !17


Trivial merge