-
MARCHE Claude authored
partial because non interactive: prover upgrade policy must be set in config file it remains to reactivate prover policy dialog in gtk.
bf928f12
partial because non interactive: prover upgrade policy must be set in config file it remains to reactivate prover policy dialog in gtk.