herd
diff --git a/‎more-tools/uoaim/lib/dune‎
Lines changed: 0 additions & 10 deletions b/‎more-tools/uoaim/lib/dune‎
Lines changed: 0 additions & 10 deletions
diff --git a/‎more-tools/uoaim/.ocamlformat‎ ‎tools/uoaim/.ocamlformat‎more-tools/uoaim/.ocamlformat renamed to tools/uoaim/.ocamlformat b/‎more-tools/uoaim/.ocamlformat‎ ‎tools/uoaim/.ocamlformat‎more-tools/uoaim/.ocamlformat renamed to tools/uoaim/.ocamlformat
diff --git a/‎more-tools/uoaim/README.md‎ ‎tools/uoaim/README.md‎more-tools/uoaim/README.md renamed to tools/uoaim/README.md b/‎more-tools/uoaim/README.md‎ ‎tools/uoaim/README.md‎more-tools/uoaim/README.md renamed to tools/uoaim/README.md
diff --git a/‎more-tools/uoaim/bin/dune‎ ‎tools/uoaim/bin/dune‎more-tools/uoaim/bin/dune renamed to tools/uoaim/bin/dune b/‎more-tools/uoaim/bin/dune‎ ‎tools/uoaim/bin/dune‎more-tools/uoaim/bin/dune renamed to tools/uoaim/bin/dune
diff --git a/‎more-tools/uoaim/bin/extractdefs.ml‎ ‎tools/uoaim/bin/extractdefs.ml‎more-tools/uoaim/bin/extractdefs.ml renamed to tools/uoaim/bin/extractdefs.ml b/‎more-tools/uoaim/bin/extractdefs.ml‎ ‎tools/uoaim/bin/extractdefs.ml‎more-tools/uoaim/bin/extractdefs.ml renamed to tools/uoaim/bin/extractdefs.ml
diff --git a/‎more-tools/uoaim/bin/main.ml‎ ‎tools/uoaim/bin/main.ml‎more-tools/uoaim/bin/main.ml renamed to tools/uoaim/bin/main.ml b/‎more-tools/uoaim/bin/main.ml‎ ‎tools/uoaim/bin/main.ml‎more-tools/uoaim/bin/main.ml renamed to tools/uoaim/bin/main.ml
diff --git a/‎more-tools/uoaim/build-dict.sh‎ ‎tools/uoaim/build-dict.sh‎more-tools/uoaim/build-dict.sh renamed to tools/uoaim/build-dict.sh b/‎more-tools/uoaim/build-dict.sh‎ ‎tools/uoaim/build-dict.sh‎more-tools/uoaim/build-dict.sh renamed to tools/uoaim/build-dict.sh
diff --git a/‎more-tools/uoaim/headers.awk‎ ‎tools/uoaim/headers.awk‎more-tools/uoaim/headers.awk renamed to tools/uoaim/headers.awk b/‎more-tools/uoaim/headers.awk‎ ‎tools/uoaim/headers.awk‎more-tools/uoaim/headers.awk renamed to tools/uoaim/headers.awk
diff --git a/‎more-tools/uoaim/lib/cat.ml‎ ‎tools/uoaim/lib/cat.ml‎more-tools/uoaim/lib/cat.ml renamed to tools/uoaim/lib/cat.ml b/‎more-tools/uoaim/lib/cat.ml‎ ‎tools/uoaim/lib/cat.ml‎more-tools/uoaim/lib/cat.ml renamed to tools/uoaim/lib/cat.ml
diff --git a/‎more-tools/uoaim/lib/cat.mli‎ ‎tools/uoaim/lib/cat.mli‎more-tools/uoaim/lib/cat.mli renamed to tools/uoaim/lib/cat.mli b/‎more-tools/uoaim/lib/cat.mli‎ ‎tools/uoaim/lib/cat.mli‎more-tools/uoaim/lib/cat.mli renamed to tools/uoaim/lib/cat.mli