diff frontends/src/jp/cmd_profile.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 e4e960d285b0
children b7ee113183fc
line wrap: on
line diff