log frontends/src/jp/cmd_profile.py @ 1656:069abd15354f

age author description
Sat, 14 Nov 2015 19:19:04 +0100 Goffi jp: added profile/connect command
Sat, 14 Nov 2015 19:18:10 +0100 Goffi jp: better profile commands: