]> 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: f248fb1) | 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)
commit74f75805af788c9131ef2b6cb81a29e9866e891e
treeb25a5397d84740fb3075c0e5aaa9cc2f16f87508tree
parentf248fb18de57b36d4bca34e675b7a6762302c18fcommit | 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.