From 820a7bda25c5541ce9580f99ec9f6eb512103e59 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sat, 11 Jan 2025 06:40:30 +0100 Subject: Removed the json configuration management --- lib/configuration/importConf.mli | 1 - 1 file changed, 1 deletion(-) (limited to 'lib/configuration/importConf.mli') diff --git a/lib/configuration/importConf.mli b/lib/configuration/importConf.mli index be1d1d4..c88b0f1 100644 --- a/lib/configuration/importConf.mli +++ b/lib/configuration/importConf.mli @@ -8,7 +8,6 @@ val root_table : Syntax.t -> Table.t (** Get the root table, this table is the main table to load and each line in this table will be processed *) -val t_of_yojson : Yojson.Safe.t -> Syntax.t val t_of_toml : Otoml.t -> (Syntax.t, string) result val get_table_for_name : Syntax.t -> string option -> Table.t -- cgit v1.2.3