]> 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: 6a44725) | 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)
commit7e4749a469a4c671ebb8babd735ca1cd8e438ee1
tree0a2309c908197e0f5aabc5ac239d4a2dde370f12tree
parent6a44725eab58f91af2c2de0abff3783c596c76eecommit | 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.