-
Committer:
Alan Griffiths
-
Date:
2016-10-27 10:59:01 UTC
-
mfrom:
(415.1.4 miral3)
-
Revision ID:
alan@octopull.co.uk-20161027105901-08etxykckrlv3ep9
miral::CommandLineOption - enables the setting and processing of configuration options. These may be supplied on the commandline, as MIR_SERVER_XXX environment variables or in a config file.