diff options
| author | Omar Polo <op@omarpolo.com> | 2024-01-10 17:45:12 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2024-01-10 17:45:12 +0000 |
| commit | dd40d596598ba25e70fcd025db12edc27ffb517b (patch) | |
| tree | a002fc9e735e290e69c9bd2134b60f7f61df982a /keys | |
| parent | 707ec003e5d5b6f78af77b333a3640ed9cb162dc (diff) | |
rename gmid-1.9.pub -> gmid-2.0.pub; next version will be 2.0
Diffstat (limited to 'keys')
| -rw-r--r-- | keys/Makefile | 2 | ||||
| -rw-r--r-- | keys/gmid-2.0.pub (renamed from keys/gmid-1.9.pub) | 0 |
2 files changed, 1 insertions, 1 deletions
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 index 9bbee3a..9bbee3a 100644 --- a/keys/gmid-1.9.pub +++ b/keys/gmid-2.0.pub |