log frontends/src/jp/cmd_profile.py @ 2079:c8e561a5b2b6

age author description
Fri, 24 Jun 2016 22:41:28 +0200 Goffi merged main branch