From 3215dfbccd76221a726cdbd3bb6888b7053309a8 Mon Sep 17 00:00:00 2001
From: "C. McEnroe" <june@causal.agency>
Date: Wed, 22 Sep 2021 18:46:14 -0400
Subject: Remove Linux-specific utilities

I haven't used these in ages.
---
 bin/.gitignore | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'bin/.gitignore')

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
-- 
cgit 1.4.1