Remove mistakenly-added directory

saxbophone · Jan 23, 2021 · b5fbb84 · b5fbb84
1 parent 5caaa1a
commit b5fbb84
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/programs/bin/proj b/programs/bin/proj