From 219d05fa00046da7333c1199e838fea34edb9ef3 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Mon, 30 Jul 2018 20:30:12 -0700
Subject: 4463

Also purge some unused helper scripts. Good ideas in theory, but no
point if they didn't make it to muscle memory.
---
 subx/ggdiff | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 subx/ggdiff

(limited to 'subx/ggdiff')

diff --git a/subx/ggdiff b/subx/ggdiff
deleted file mode 100755
index 0b2f34ca..00000000
--- a/subx/ggdiff
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/usr/bin/env zsh
-# git diff a specific example's generated binary after converting through xxd.
-
-if [ $# -eq 0 ]
-then
-  echo "ggdiff <target> [rev]"
-  exit 1
-fi
-
-target=$1
-rev=${2:-HEAD}
-tmp=`mktemp`
-git show ${rev}:subx/$target > $tmp
-xdiff $tmp $target
-- 
cgit 1.4.1-2-gfad0