diff options
author | June McEnroe <june@causal.agency> | 2021-09-22 18:46:14 -0400 |
---|---|---|
committer | June McEnroe <june@causal.agency> | 2021-09-22 18:46:14 -0400 |
commit | 3215dfbccd76221a726cdbd3bb6888b7053309a8 (patch) | |
tree | aaf2a095afa322ebbcc0d4cfdabc1880919283ff /bin/.gitignore | |
parent | Call sandbox in CGI mode (diff) | |
download | src-3215dfbccd76221a726cdbd3bb6888b7053309a8.tar.gz src-3215dfbccd76221a726cdbd3bb6888b7053309a8.zip |
Remove Linux-specific utilities
I haven't used these in ages.
Diffstat (limited to 'bin/.gitignore')
-rw-r--r-- | bin/.gitignore | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/bin/.gitignore b/bin/.gitignore index 02f0536f..5f3bf0c7 100644 --- a/bin/.gitignore +++ b/bin/.gitignore @@ -3,15 +3,12 @@ beef bibsort bit -bri c config.mk dehtml downgrade dtch ever -fbatt -fbclock freecell git-comment glitch @@ -25,7 +22,6 @@ order pbd pngo psf2png -psfed ptee relay scheme |