chiark / gitweb /
mdwsetup.py: Turn off Python's usual `SIGINT' handler.