diff options
Diffstat (limited to 'utils')
| -rwxr-xr-x | utils/gpgidentity | 2 | ||||
| -rwxr-xr-x | utils/post-commit | 3 | ||||
| -rwxr-xr-x | utils/post-merge | 3 |
3 files changed, 0 insertions, 8 deletions
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 |