-
POGODALLA Sylvain authored
option --disable-warning-as-errors to the .configure script to make opam compile without the -warn-error A option
7ce8b85b
option --disable-warning-as-errors to the .configure script to make opam compile without the -warn-error A option