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/completion/list_interfaces/func.ml | 1 + 1 file changed, 1 insertion(+) create mode 100644 src/completion/list_interfaces/func.ml (limited to 'src/completion/list_interfaces/func.ml') diff --git a/src/completion/list_interfaces/func.ml b/src/completion/list_interfaces/func.ml new file mode 100644 index 0000000..13e1860 --- /dev/null +++ b/src/completion/list_interfaces/func.ml @@ -0,0 +1 @@ +external list_interfaces: unit -> string list = "interface_list" -- cgit v1.2.3