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

[Matthias Goergens <matthias.goergens@xxxxxxxxxx>]

Signed-off-by: Matthias Goergens <Matthias.Goergens@xxxxxxxxxx>


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

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

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