comparison frontends/src/jp/cmd_pipe.py @ 1613:1c5761cb1bdc

quick_frontend(profile manager): fixed alert messages
author Goffi <goffi@goffi.org>
date Tue, 17 Nov 2015 12:39:38 +0100
parents 069ad98b360d
children 3690b4d4157e
comparison
equal deleted inserted replaced
1612:48f324352c52 1613:1c5761cb1bdc