diff frontends/src/primitivus/__init__.py @ 1161:344bbe6fd1de

primitivus: profile manager now handle APP_QUIT key
author Goffi <goffi@goffi.org>
date Thu, 04 Sep 2014 19:05:57 +0200
parents fd9b7834d98a
children
line wrap: on
line diff