From a89b0e79b00aa656cede3c6527cfda23b5ea19b1 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Wed, 22 May 2024 13:37:52 +0100 Subject: T6380: Move list_interfaces code to a dedicated dir for completion helpers --- src/iface/func.ml | 1 - 1 file changed, 1 deletion(-) delete mode 100644 src/iface/func.ml (limited to 'src/iface/func.ml') diff --git a/src/iface/func.ml b/src/iface/func.ml deleted file mode 100644 index 13e1860..0000000 --- a/src/iface/func.ml +++ /dev/null @@ -1 +0,0 @@ -external list_interfaces: unit -> string list = "interface_list" -- cgit v1.2.3