From 799685e2c96af0e3c0a39e4584633affe55df051 Mon Sep 17 00:00:00 2001 From: Ralf Jung <post@ralfj.de> Date: Sat, 24 Mar 2018 12:02:39 +0100 Subject: [PATCH] rename --- prepare-opam-ci => prepare-opam | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename prepare-opam-ci => prepare-opam (100%) diff --git a/prepare-opam-ci b/prepare-opam similarity index 100% rename from prepare-opam-ci rename to prepare-opam -- GitLab