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 | dc173ca9c660f775675d6c712f82dcedccdf9db0 (patch) | |
tree | 704644a1574a1b9361649a18db498641c7cff9d5 /bin/.gitignore | |
parent | Call sandbox in CGI mode (diff) | |
download | src-dc173ca9c660f775675d6c712f82dcedccdf9db0.tar.gz src-dc173ca9c660f775675d6c712f82dcedccdf9db0.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 |