diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2025-01-22 13:43:50 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2025-01-23 12:24:10 +0100 |
| commit | 37556ab070abcbf87a1a822c95aeccf19dade687 (patch) | |
| tree | f7d7b4a3ae4e689224de177c01f4f0ecc2fd1a7c /lib/configuration/dune | |
| parent | 8e012f4804ecf1665819e761283120a3c0e73643 (diff) | |
Force the locale before printing a result
Diffstat (limited to 'lib/configuration/dune')
| -rwxr-xr-x | lib/configuration/dune | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/configuration/dune b/lib/configuration/dune index 74ace87..6a0bc61 100755 --- a/lib/configuration/dune +++ b/lib/configuration/dune @@ -16,7 +16,6 @@ ppx_deriving.show
ppx_deriving.eq
))
- (foreign_stubs (language c) (names locale))
)
(rule
|