diff options
author | jthorn <jthorn@e296648e-0e4f-0410-bd07-d597d9acff87> | 2002-07-15 16:13:55 +0000 |
---|---|---|
committer | jthorn <jthorn@e296648e-0e4f-0410-bd07-d597d9acff87> | 2002-07-15 16:13:55 +0000 |
commit | 0bc1df628483b97cb03415da28e6073750e196c7 (patch) | |
tree | 3b2c5e270a937a4cca1b096b4ac0c19b21af6575 | |
parent | 7622c64b4daf728105d9a2d69ebc93e1473e42a3 (diff) |
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
-rw-r--r-- | archive/pGF_ComparisonExtensions.h (renamed from src/include/pGF_ComparisonExtensions.h) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/include/pGF_ComparisonExtensions.h b/archive/pGF_ComparisonExtensions.h index 0cca003..0cca003 100644 --- a/src/include/pGF_ComparisonExtensions.h +++ b/archive/pGF_ComparisonExtensions.h |