Avoid fatal errors if session support is missing; This shall be displayed in the first step
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Jun 29 2013, 8:49 AM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:447fc6a657c6: Improve update.sh script; fix bad wording
- Branches
- Unknown
- Tags