From 335a878ff93286d73df8093caec5c7257360d448 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Mon, 27 May 2019 09:57:34 +0200 Subject: [PATCH] move before merging repositories (part 1) --- .../opam-repository-tools/rewrite-local-opam-repository.sh | 0 update.sh => vendors/opam-repository-tools/update.sh | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename rewrite-local-opam-repository.sh => vendors/opam-repository-tools/rewrite-local-opam-repository.sh (100%) rename update.sh => vendors/opam-repository-tools/update.sh (100%) diff --git a/rewrite-local-opam-repository.sh b/vendors/opam-repository-tools/rewrite-local-opam-repository.sh similarity index 100% rename from rewrite-local-opam-repository.sh rename to vendors/opam-repository-tools/rewrite-local-opam-repository.sh diff --git a/update.sh b/vendors/opam-repository-tools/update.sh similarity index 100% rename from update.sh rename to vendors/opam-repository-tools/update.sh