From 54a71b8f6800ae78b888cea42cc75735c8435c10 Mon Sep 17 00:00:00 2001
From: Ray Speth <speth@mit.edu>
Date: Mon, 7 Sep 2015 15:57:31 -0400
Subject: [PATCH] Remove unused exp3to2 script

---
 bin/exp3to2.sh | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100755 bin/exp3to2.sh

diff --git a/bin/exp3to2.sh b/bin/exp3to2.sh
deleted file mode 100755
index 61866b41f..000000000
--- a/bin/exp3to2.sh
+++ /dev/null
@@ -1,20 +0,0 @@
-#/bin/sh
-#
-#  This sed script replaces 3 character exponents 
-#  starting with 0 with 2 characters
-#     e-0xx -> e-xx
-#     e0xx -> exx
-#     E-0xx -> E-xx
-#     E0xx -> Exx
-#         where
-#           x is a digit
-#
-#   It takes one argument, the file to be operated on.
-#   And, it writes to standard out. It may be used to do a 
-#   replacement in place.
-#
-cp $1 .exp.txt
-cat .exp.txt | sed 's/\([eE]-\)\(0\)\([0-9][0-9]\)/\1\3/g' | \
-               sed 's/\([eE]\)\(0\)\([0-9][0-9]\)/\1\3/g'  | \
-               sed 's/\([eE]+\)\(0\)\([0-9][0-9]\)/\1\3/g' 
-rm .exp.txt