Mercurial > libervia-backend
diff frontends/src/quick_frontend/quick_profile_manager.py @ 2343:ca1ab42c7ae9
jp (info/disco): added --no-cache option
author | Goffi <goffi@goffi.org> |
---|---|
date | Tue, 22 Aug 2017 22:13:22 +0200 |
parents | 978011533892 |
children | 8b37a62336c3 |