comparison frontends/src/jp/cmd_info.py @ 1162:b32800b9793e

primitivus: SIGINT is now ignored, APP_QUIT key/menu or :quit command must be used to quit Primitivus
author Goffi <goffi@goffi.org>
date Thu, 04 Sep 2014 19:05:57 +0200
parents 6ec513ad92c2
children 96fb74a4714d
comparison
equal deleted inserted replaced
1161:344bbe6fd1de 1162:b32800b9793e