diff options
| -rw-r--r-- | _oasis | 2 | ||||
| -rw-r--r-- | src/vytree/vytree.ml (renamed from src/vytree.ml) | 0 | ||||
| -rw-r--r-- | src/vytree/vytree.mli (renamed from src/vytree.mli) | 0 |
3 files changed, 1 insertions, 1 deletions
@@ -16,7 +16,7 @@ Library "vylist" Modules: Vylist Library "vytree" - Path: src + Path: src/vytree Modules: Vytree BuildDepends: vylist diff --git a/src/vytree.ml b/src/vytree/vytree.ml index 6a97211..6a97211 100644 --- a/src/vytree.ml +++ b/src/vytree/vytree.ml diff --git a/src/vytree.mli b/src/vytree/vytree.mli index 1b42de7..1b42de7 100644 --- a/src/vytree.mli +++ b/src/vytree/vytree.mli |