------------------------------------------------------------
revno: 559
committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr>
branch nick: WORKING
timestamp: Wed 2020-07-08 20:08:43 +0000
message:
  Minor changes in several modules
modified:
  BASE/misc.ml
  BASE/misc.mli
  CHANNEL/channel.mli
  STRUCTURES/network.ml
  STRUCTURES/option.ml
  STRUCTURES/option.mli


--
lp:ocamlbricks
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk

Your team marionnet-dev is subscribed to branch lp:ocamlbricks.
To unsubscribe from this branch go to 
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/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

Reply via email to