From 47b0c2c1b421b62302b1957954912b4c0dfba9fa Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 12 Mar 2003 18:37:49 +0000 Subject: [PATCH] moved uwobo sources to the root uwobo directory --- helm/uwobo/{src/ocaml => }/.depend | 0 helm/uwobo/{src/ocaml => }/Makefile | 0 helm/uwobo/src/ocaml/.cvsignore | 7 ------- helm/uwobo/{src/ocaml => }/uwobo.ml | 0 helm/uwobo/{src/ocaml => }/uwobo_common.ml | 0 helm/uwobo/{src/ocaml => }/uwobo_common.mli | 0 helm/uwobo/{src/ocaml => }/uwobo_engine.ml | 0 helm/uwobo/{src/ocaml => }/uwobo_engine.mli | 0 helm/uwobo/{src/ocaml => }/uwobo_logger.ml | 0 helm/uwobo/{src/ocaml => }/uwobo_logger.mli | 0 helm/uwobo/{src/ocaml => }/uwobo_styles.ml | 0 helm/uwobo/{src/ocaml => }/uwobo_styles.mli | 0 12 files changed, 7 deletions(-) rename helm/uwobo/{src/ocaml => }/.depend (100%) rename helm/uwobo/{src/ocaml => }/Makefile (100%) delete mode 100644 helm/uwobo/src/ocaml/.cvsignore rename helm/uwobo/{src/ocaml => }/uwobo.ml (100%) rename helm/uwobo/{src/ocaml => }/uwobo_common.ml (100%) rename helm/uwobo/{src/ocaml => }/uwobo_common.mli (100%) rename helm/uwobo/{src/ocaml => }/uwobo_engine.ml (100%) rename helm/uwobo/{src/ocaml => }/uwobo_engine.mli (100%) rename helm/uwobo/{src/ocaml => }/uwobo_logger.ml (100%) rename helm/uwobo/{src/ocaml => }/uwobo_logger.mli (100%) rename helm/uwobo/{src/ocaml => }/uwobo_styles.ml (100%) rename helm/uwobo/{src/ocaml => }/uwobo_styles.mli (100%) diff --git a/helm/uwobo/src/ocaml/.depend b/helm/uwobo/.depend similarity index 100% rename from helm/uwobo/src/ocaml/.depend rename to helm/uwobo/.depend diff --git a/helm/uwobo/src/ocaml/Makefile b/helm/uwobo/Makefile similarity index 100% rename from helm/uwobo/src/ocaml/Makefile rename to helm/uwobo/Makefile diff --git a/helm/uwobo/src/ocaml/.cvsignore b/helm/uwobo/src/ocaml/.cvsignore deleted file mode 100644 index 7a77a0ecd..000000000 --- a/helm/uwobo/src/ocaml/.cvsignore +++ /dev/null @@ -1,7 +0,0 @@ -*.cmi -*.cmo -*.cmx -*.cma -*.cmxa -uwobo -uwobo.opt diff --git a/helm/uwobo/src/ocaml/uwobo.ml b/helm/uwobo/uwobo.ml similarity index 100% rename from helm/uwobo/src/ocaml/uwobo.ml rename to helm/uwobo/uwobo.ml diff --git a/helm/uwobo/src/ocaml/uwobo_common.ml b/helm/uwobo/uwobo_common.ml similarity index 100% rename from helm/uwobo/src/ocaml/uwobo_common.ml rename to helm/uwobo/uwobo_common.ml diff --git a/helm/uwobo/src/ocaml/uwobo_common.mli b/helm/uwobo/uwobo_common.mli similarity index 100% rename from helm/uwobo/src/ocaml/uwobo_common.mli rename to helm/uwobo/uwobo_common.mli diff --git a/helm/uwobo/src/ocaml/uwobo_engine.ml b/helm/uwobo/uwobo_engine.ml similarity index 100% rename from helm/uwobo/src/ocaml/uwobo_engine.ml rename to helm/uwobo/uwobo_engine.ml diff --git a/helm/uwobo/src/ocaml/uwobo_engine.mli b/helm/uwobo/uwobo_engine.mli similarity index 100% rename from helm/uwobo/src/ocaml/uwobo_engine.mli rename to helm/uwobo/uwobo_engine.mli diff --git a/helm/uwobo/src/ocaml/uwobo_logger.ml b/helm/uwobo/uwobo_logger.ml similarity index 100% rename from helm/uwobo/src/ocaml/uwobo_logger.ml rename to helm/uwobo/uwobo_logger.ml diff --git a/helm/uwobo/src/ocaml/uwobo_logger.mli b/helm/uwobo/uwobo_logger.mli similarity index 100% rename from helm/uwobo/src/ocaml/uwobo_logger.mli rename to helm/uwobo/uwobo_logger.mli diff --git a/helm/uwobo/src/ocaml/uwobo_styles.ml b/helm/uwobo/uwobo_styles.ml similarity index 100% rename from helm/uwobo/src/ocaml/uwobo_styles.ml rename to helm/uwobo/uwobo_styles.ml diff --git a/helm/uwobo/src/ocaml/uwobo_styles.mli b/helm/uwobo/uwobo_styles.mli similarity index 100% rename from helm/uwobo/src/ocaml/uwobo_styles.mli rename to helm/uwobo/uwobo_styles.mli -- 2.39.2