#version 1.1

SETTING = new-default # contains a default value chosen by the developer
