From 0c8963a0f3aef05cf4866e8bcd3fdbebddac8b87 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 2 Feb 2006 10:16:04 +0000 Subject: [PATCH] moved mathql metas to mathql/ --- helm/{ocaml => mathql}/METAS/meta.helm-mathql.src | 0 helm/{ocaml => mathql}/METAS/meta.helm-mathql_generator.src | 0 helm/{ocaml => mathql}/METAS/meta.helm-mathql_interpreter.src | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename helm/{ocaml => mathql}/METAS/meta.helm-mathql.src (100%) rename helm/{ocaml => mathql}/METAS/meta.helm-mathql_generator.src (100%) rename helm/{ocaml => mathql}/METAS/meta.helm-mathql_interpreter.src (100%) diff --git a/helm/ocaml/METAS/meta.helm-mathql.src b/helm/mathql/METAS/meta.helm-mathql.src similarity index 100% rename from helm/ocaml/METAS/meta.helm-mathql.src rename to helm/mathql/METAS/meta.helm-mathql.src diff --git a/helm/ocaml/METAS/meta.helm-mathql_generator.src b/helm/mathql/METAS/meta.helm-mathql_generator.src similarity index 100% rename from helm/ocaml/METAS/meta.helm-mathql_generator.src rename to helm/mathql/METAS/meta.helm-mathql_generator.src diff --git a/helm/ocaml/METAS/meta.helm-mathql_interpreter.src b/helm/mathql/METAS/meta.helm-mathql_interpreter.src similarity index 100% rename from helm/ocaml/METAS/meta.helm-mathql_interpreter.src rename to helm/mathql/METAS/meta.helm-mathql_interpreter.src -- 2.39.2