From 755bb6cf7f8c69898c0fb55086c0b86510a03431 Mon Sep 17 00:00:00 2001 From: Raymaekers Luca Date: Fri, 6 Jun 2025 17:29:27 +0200 Subject: checkpoint --- utils/gpgidentity | 2 -- 1 file changed, 2 deletions(-) delete mode 100755 utils/gpgidentity (limited to 'utils/gpgidentity') diff --git a/utils/gpgidentity b/utils/gpgidentity deleted file mode 100755 index 5a958b2..0000000 --- a/utils/gpgidentity +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -sed '/#FILTERED$/s/[^ ]\+ #FILTERED$/IDENTITY #FILTERED/g' -- cgit v1.2.3-70-g09d2