log sat_frontends/quick_frontend/quick_app.py @ 3497:73e04040d577

age author description
Tue, 23 Mar 2021 21:21:00 +0100 Goffi frontends: use new EXIT_BACKEND_NOT_FOUND exit code: