move this file from src/include/ (where it's no longer used)

to   archive/

n.b. I (JT) use  archive/  for this rather than the cvs attic because
the cvs attic is quite inconvenient -- it's hard (impossible?) to 'ls'
it, so there's no easy way to see what files are available if you don't
already know their names


git-svn-id: http://svn.einsteintoolkit.org/cactus/EinsteinInitialData/Exact/trunk@113 e296648e-0e4f-0410-bd07-d597d9acff87

1 files changed, 1 insertions, 0 deletions

diff --git a/archive/pGF_ComparisonExtensions.h b/archive/pGF_ComparisonExtensions.h
new file mode 100644
index 0000000..0cca003
--- /dev/null
+++ b/archive/pGF_ComparisonExtensions.h
@@ -0,0 +1 @@
+  int do_comparison;