From 5e15341857e57671a3c617579e3d5dcc89040936 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 10 Jan 2025 22:06:06 +0100 Subject: Print the float numbers using the user locale --- lib/configuration/syntax.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/configuration/syntax.ml') 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; -- cgit v1.2.3