Jean-Francois Dockes 96f181cad3 exit more abruptly to avoid mysterious core dump on quitting program		2016-05-11 08:44:11 +02:00
..
notypes.sh	exit more abruptly to avoid mysterious core dump on quitting program	2016-05-11 08:44:11 +02:00
notypes.txt	exit more abruptly to avoid mysterious core dump on quitting program	2016-05-11 08:44:11 +02:00