From dd40d596598ba25e70fcd025db12edc27ffb517b Mon Sep 17 00:00:00 2001 From: Omar Polo Date: Wed, 10 Jan 2024 17:45:12 +0000 Subject: [PATCH] rename gmid-1.9.pub -> gmid-2.0.pub; next version will be 2.0 --- keys/Makefile | 2 +- keys/{gmid-1.9.pub => gmid-2.0.pub} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename keys/{gmid-1.9.pub => gmid-2.0.pub} (100%) diff --git a/keys/Makefile b/keys/Makefile index 346df9e..5582704 100644 --- a/keys/Makefile +++ b/keys/Makefile @@ -1,4 +1,4 @@ -DISTFILES = Makefile gmid-1.7.pub gmid-1.8.pub gmid-1.9.pub +DISTFILES = Makefile gmid-1.7.pub gmid-1.8.pub gmid-2.0.pub all: false diff --git a/keys/gmid-1.9.pub b/keys/gmid-2.0.pub similarity index 100% rename from keys/gmid-1.9.pub rename to keys/gmid-2.0.pub