diff src/stdui/ui_profile_manager.py @ 1670:3690b4d4157e

jp (pipe): pipe commands now use the new CommandAnswering API (with actionNew)
author Goffi <goffi@goffi.org>
date Wed, 25 Nov 2015 02:06:44 +0100
parents 05274b27e90e
children 52af44e745b5
line wrap: on
line diff