-
Erwan Jahier authored
Parent-Version: 1.30 Version-Log: source/run_aut.ml: source/graph.ml: source/env_state.ml source/lucky.ml: source/env_state.ml: Graph.t in now a side effet-free DT. source/lurettetop.ml: xlurette/xlurette.glade: provide an error msg to xlurette when gnuplot is not installed. Project-Description: Lurette
693db19e