chiark / gitweb /
dgit: Set $SIG{INT} to DEFAULT