diff frontends/src/jp/cmd_pipe.py @ 2336:a7438fe4e24d

jp (profile): added disconnect command
author Goffi <goffi@goffi.org>
date Sun, 20 Aug 2017 10:26:10 +0200
parents 3e168cde7a7d
children 8b37a62336c3
line wrap: on
line diff