catching keyboard interrupt
authorTomas Musil <tomik.musil@gmail.com>
Sat, 22 Sep 2012 15:03:46 +0000 (17:03 +0200)
committerTomas Musil <tomik.musil@gmail.com>
Sat, 22 Sep 2012 15:03:46 +0000 (17:03 +0200)

No differences found