Giacomo Tesio 39de8b3851 mksh: no need for MKSH_NO_SIGSETJMP		2017-09-04 00:01:03 +02:00
..
src@ff16a6d4fc	mksh: no need for MKSH_NO_SIGSETJMP	2017-09-04 00:01:03 +02:00