log libervia/server/tasks/manager.py @ 1392:e11a71a08a48

age author description
Fri, 20 Nov 2020 17:53:01 +0100 Goffi server: renamed `--dev_mode` to `--dev-mode` and set it as a flag: