aboutsummaryrefslogtreecommitdiff
path: root/lib/configuration/syntax.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2025-01-10 22:06:06 +0100
committerSébastien Dailly <sebastien@dailly.me>2025-01-22 12:22:26 +0100
commit5e15341857e57671a3c617579e3d5dcc89040936 (patch)
tree8d90ea72c77ccef7f6b6d5eba199204ce01b27d6 /lib/configuration/syntax.ml
parent413b86050e364db51eb4f1bb095f70b141c02919 (diff)
Print the float numbers using the user locale
Diffstat (limited to 'lib/configuration/syntax.ml')
-rw-r--r--lib/configuration/syntax.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/configuration/syntax.ml b/lib/configuration/syntax.ml
index 1eb3c70..253720e 100644
--- a/lib/configuration/syntax.ml
+++ b/lib/configuration/syntax.ml
@@ -54,6 +54,7 @@ end
type t = {
version : int;
+ locale : string option;
source : Table.t;
externals : Extern.t list;
columns : Path.t E.t list;