From b05013516d858af43f3429683e52adfc4447e896 Mon Sep 17 00:00:00 2001 From: Marius Peter Date: Mon, 26 May 2025 11:37:26 +0200 Subject: Update config. --- lib/config_writer.ml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 lib/config_writer.ml (limited to 'lib/config_writer.ml') diff --git a/lib/config_writer.ml b/lib/config_writer.ml new file mode 100644 index 0000000..4a9f594 --- /dev/null +++ b/lib/config_writer.ml @@ -0,0 +1,3 @@ +(* -*- mode: tuareg; -*- *) + +let () = Config.(default |> to_table |> write_file) -- cgit v1.2.3