-
Erwan Jahier authored
that, I've modified Lutin/mainArg.ml so that all globals are inside a big structure. Indeed, Lurette has its own Arg.argv, on it may call several lutin programs.
47b07b9e
that, I've modified Lutin/mainArg.ml so that all globals are inside a big structure. Indeed, Lurette has its own Arg.argv, on it may call several lutin programs.