-
GILLES Sebastien authored
#1479 Introduce a 'GracefulExit' exception which should be handled in the main by an EXIT_SUCCESS return code.
87030317
#1479 Introduce a 'GracefulExit' exception which should be handled in the main by an EXIT_SUCCESS return code.