Project

General

Profile

« Previous | Next » 

Revision 533f3160

Added by Renato Botelho over 8 years ago

Revert "ctrl-c is handy in the shell. Do not lock out."

This doesn't seem to be a problem these days. Fixes #6741

This reverts commit e8b82b8191356d50a2f210067d7a9f32976d4075.

  • added
  • modified
  • copied
  • renamed
  • deleted