]> 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: 19e87aa) | patch
in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming...
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)
commit9d45893607dcd77b6cde985fee9e351fa74ddb6d
tree0a2309c908197e0f5aabc5ac239d4a2dde370f12tree
parent19e87aae5443457dbc5433ece859f66bb4eab4c9commit | diff
in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming either module.

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