From f8edb30d4e775ed000e4326c079cdcdf178877bd Mon Sep 17 00:00:00 2001
From: Tim Edwards <tim@opencircuitdesign.com>
Date: Wed, 9 Dec 2020 09:18:06 -0500
Subject: [PATCH] Removed .gitconfig, which I thought I did yesterday.  But
 apparently not.

---
 .gitconfig | 5 -----
 VERSION    | 2 +-
 2 files changed, 1 insertion(+), 6 deletions(-)
 delete mode 100644 .gitconfig

diff --git a/.gitconfig b/.gitconfig
deleted file mode 100644
index d4f587dd..00000000
--- a/.gitconfig
+++ /dev/null
@@ -1,5 +0,0 @@
-[filter "header"]
-	smudge = ./.git-expand-header %f
-	clean = sed -e's/\\$Header:[^$]*\\$/\\$Header\\$/g'
-[diff "gds"]
-        textconv = hexdump -v -C
diff --git a/VERSION b/VERSION
index ae46bd9c..8ac88fdf 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-8.3.94
+8.3.95