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 -- utils/post-commit | 3 --- utils/post-merge | 3 --- 3 files changed, 8 deletions(-) delete mode 100755 utils/gpgidentity delete mode 100755 utils/post-commit delete mode 100755 utils/post-merge (limited to 'utils') 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' diff --git a/utils/post-commit b/utils/post-commit deleted file mode 100755 index a6b419d..0000000 --- a/utils/post-commit +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -rm ~/bin/keyboards.txt ~/.config/user-dirs.dirs ~/bin/wd -stowdots d \ No newline at end of file diff --git a/utils/post-merge b/utils/post-merge deleted file mode 100755 index a6b419d..0000000 --- a/utils/post-merge +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -rm ~/bin/keyboards.txt ~/.config/user-dirs.dirs ~/bin/wd -stowdots d \ No newline at end of file -- cgit v1.2.3-70-g09d2