comparison frontends/src/quick_frontend/quick_profile_manager.py @ 2225:301bb52c8715

jp (blog): service and node can now be specified for edit command
author Goffi <goffi@goffi.org>
date Sun, 16 Apr 2017 18:00:45 +0200
parents 978011533892
children 8b37a62336c3
comparison
equal deleted inserted replaced
2224:87fcd4a7c7e4 2225:301bb52c8715