------------------------------------------------------------ revno: 499 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: marionnet timestamp: Fri 2017-06-30 17:23:37 +0200 message: Slight changes in World_bridge to enhance code readability, specially for fields of type `option'. modified: world_bridge.ml
-- lp:marionnet https://code.launchpad.net/~marionnet-drivers/marionnet/trunk Your team marionnet-dev is subscribed to branch lp:marionnet. To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/marionnet/trunk/+edit-subscription _______________________________________________ Mailing list: https://launchpad.net/~marionnet-dev Post to : marionnet-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~marionnet-dev More help : https://help.launchpad.net/ListHelp
