1 files changed, 0 insertions, 31 deletions
diff --git a/pablo/PabloSedscr b/pablo/PabloSedscr
deleted file mode 100644
index 6df38c2..0000000
--- a/pablo/PabloSedscr
+++ /dev/null
@@ -1,31 +0,0 @@
-s/,//g
-/^[0-9]/,/[A-z]/{
-/^[0-9]/h
-/^[0-9]/d
-s/$/ = ID_Begin + /
-G
-s/\n//
-s/[A-z]/      parameter ( &/
-s/$/ )/
-h
-s/parameter (/integer/
-s/=.*//
-G
-}
-/ALLHDF/,$!d
-s/_//g
-/integer.*ALLHDF/{
-i\
-      integer RuntimeTrace\
-      integer SummaryTrace\
-      integer MPIRuntimeTrace\
-      integer MPISummaryTrace\
-      integer NoTrace\
-      integer IDBegin \
-      parameter (NoTrace = 0)\
-      parameter (RuntimeTrace = 1)\
-      parameter (SummaryTrace = 2)\
-      parameter (MPIRuntimeTrace = 3)\
-      parameter (MPISummaryTrace = 4)\
-      parameter ( IDBegin = 4 )
-}