[Xen-API] [PATCH] in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming either module

[Matthias Goergens <matthias.goergens@xxxxxxxxxx>]

Patch subject is complete summary.


 stdext/opt.ml  |  2 +-
 stdext/opt.mli |  2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

Attachment: xen-api-libs.hg.patch
Description: Text Data

_______________________________________________
xen-api mailing list
xen-api@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/mailman/listinfo/xen-api