diff options
| -rw-r--r-- | src/completion/list_interfaces/func.ml (renamed from src/iface/func.ml) | 0 | ||||
| -rw-r--r-- | src/completion/list_interfaces/func.mli (renamed from src/iface/func.mli) | 0 | ||||
| -rw-r--r-- | src/completion/list_interfaces/iface.c (renamed from src/iface/iface.c) | 0 | ||||
| -rw-r--r-- | src/completion/list_interfaces/list_interfaces.ml (renamed from src/iface/list_interfaces.ml) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/src/iface/func.ml b/src/completion/list_interfaces/func.ml index 13e1860..13e1860 100644 --- a/src/iface/func.ml +++ b/src/completion/list_interfaces/func.ml diff --git a/src/iface/func.mli b/src/completion/list_interfaces/func.mli index b16d373..b16d373 100644 --- a/src/iface/func.mli +++ b/src/completion/list_interfaces/func.mli diff --git a/src/iface/iface.c b/src/completion/list_interfaces/iface.c index bf2f025..bf2f025 100644 --- a/src/iface/iface.c +++ b/src/completion/list_interfaces/iface.c diff --git a/src/iface/list_interfaces.ml b/src/completion/list_interfaces/list_interfaces.ml index fec5c9c..fec5c9c 100644 --- a/src/iface/list_interfaces.ml +++ b/src/completion/list_interfaces/list_interfaces.ml |