------------------------------------------------------------ revno: 535 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: MARIONNET-dune-project timestamp: Wed 2023-05-31 12:28:01 +0200 message: Minor changes in the Makefile in order to allow root to execute dune with the user opam environment modified: CONFIGME.choice@ Makefile useful-scripts/marionnet_from_scratch
-- 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
