marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/marionnet/trunk] Rev 520: Added interface death_monitor.mli. Also, slightly simplified simulation_level.mli

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Wed, 15 Apr 2020 15:54:25 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 520
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: marionnet
timestamp: Tue 2020-03-31 18:24:44 +0200
message:
  Added interface death_monitor.mli. Also, slightly simplified simulation_level.mli
added:
  death_monitor.mli
modified:
  death_monitor.ml
  simulation_level.ml
  simulation_level.mli


--
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