// # Ticket Vending Machine (TVM): Preference Sets
//
// * `tvm_jasmin.json5`: preference set with only application-specific terms for the following settings:
// ** big buttons,
// ** French user interface.
{
    "flat": {
        "name": "TVM Jasmin",
        "contexts": {
            "gpii-default": {
                "name": "Default preferences",
                "preferences": {
                    "http://registry.gpii.net/applications/de.fraunhofer.iao.C4A-TVM": {
                        "buttonSize": "big",
                        "language": "fr"
                    }
                }
            }
        }
    }
}