4463

Also purge some unused helper scripts. Good ideas in theory, but no
point if they didn't make it to muscle memory.

1 files changed, 0 insertions, 13 deletions

diff --git a/subx/gg b/subx/gg
deleted file mode 100755
index cafc7864..00000000
--- a/subx/gg
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/usr/bin/env zsh
-# Run git commands on a specific example's generated binary.
-
-if [ $# -eq 0 ]
-then
-  echo "g <git command> <args> <target>"
-  exit 1
-fi
-
-arg=( $* )
-target=$arg[${#arg[@]}]
-unset "arg[${#arg[@]}]"
-git ${arg[@]} ./$target