]> xenbits.xensource.com Git - xcp/xen-api-libs.git/commit
projects / xcp / xen-api-libs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: abe029d) | patch
mlvm/redo.ml was rid of a warning
authorMatthias Goergens <Matthias.Goergens@citrix.com>
Thu, 17 Jun 2010 21:16:18 +0000 (22:16 +0100)
committerMatthias Goergens <Matthias.Goergens@citrix.com>
Thu, 17 Jun 2010 21:16:18 +0000 (22:16 +0100)
commit1e53e265af7b531e0ef94a7a238aebf89f745146
tree4e2a5ee84a5f442953f624f61e1034a172e11da9tree
parentabe029dce04aa252b13e932651ccd15de74a1958commit | diff
mlvm/redo.ml was rid of a warning

Signed-off-by: Matthias Goergens <matthias.goergens@citrix.com>
mlvm/redo.ml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.