diff bin/sat @ 2590:bd9d92bc0d6c

quick frontends (app): retrieve namespaces on startup
author Goffi <goffi@goffi.org>
date Tue, 22 May 2018 10:07:33 +0200
parents 26edcf3a30eb
children ab2696e34d29
line wrap: on
line diff