comparison frontends/src/jp/common.py @ 2336:a7438fe4e24d

jp (profile): added disconnect command
author Goffi <goffi@goffi.org>
date Sun, 20 Aug 2017 10:26:10 +0200
parents ca14e1ced3b5
children 78ffb9ce57a4
comparison
equal deleted inserted replaced
2335:b226f545f67e 2336:a7438fe4e24d