diff frontends/src/primitivus/profile_manager.py @ 1481:621b045cd284

QuickFrontend: removed old watched stuff as a new plugin now manages it properly
author Goffi <goffi@goffi.org>
date Thu, 20 Aug 2015 18:44:39 +0200
parents 057f0714f27e
children 66d01f29f886
line wrap: on
line diff