aboutsummaryrefslogtreecommitdiff
path: root/lib/configuration
ModeNameSize
-rwxr-xr-xdune575logplain
-rw-r--r--expression_lexer.mll2613logplain
-rw-r--r--expression_parser.messages4034logplain
-rw-r--r--expression_parser.mly4577logplain
-rw-r--r--importConf.ml2963logplain
-rw-r--r--importConf.mli763logplain
-rw-r--r--locale.c231logplain
-rw-r--r--of_json.ml4212logplain
-rw-r--r--read_conf.ml7289logplain
-rw-r--r--syntax.ml2239logplain