From 1980bc8dbd8c5c15cd835ffd1cd7ffb2204fac3f Mon Sep 17 00:00:00 2001 From: John Whitington Date: Tue, 15 Aug 2023 18:03:00 +0100 Subject: [PATCH] Rename opam file --- opam => cpdf.opam | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename opam => cpdf.opam (100%) diff --git a/opam b/cpdf.opam similarity index 100% rename from opam rename to cpdf.opam