Added some SIGINT handling code.
tree2128caf77e9dcb772eccbefbd7f351a4e2f84a2a
-rw-r--r-- 63444 Doxyfile
-rw-r--r-- 238 builtins.h
-rw-r--r-- 12805 ss.c