debian/source/format
author Sylvain Thénault <sylvain.thenault@logilab.fr>
Fri, 01 Jul 2011 11:19:12 +0200
branchstable
changeset 7593 0c1024b3e7fc
parent 6708 09c98763ae9d
child 12642 5722d8c461eb
permissions -rw-r--r--
[c-c instance commands] keyboard interrupt should stop the command, not jump to the next instance. Closes #1794850

1.0