Reverting previous change
authorfca <fca@f7af4fe6-9843-0410-8265-dc069ae4e863>
Sat, 31 Oct 2009 12:57:52 +0000 (12:57 +0000)
committerfca <fca@f7af4fe6-9843-0410-8265-dc069ae4e863>
Sat, 31 Oct 2009 12:57:52 +0000 (12:57 +0000)
commit0b1c3c09181d35413078fca26f6a55f3e63651eb
treec2341e4492447264594df02d97daca12208f7f37
parent1b78973b0dda2fb92c59b71b96bb1c1deb1ff4bc
Reverting previous change
test/proof/README [moved from prod/proof/README with 100% similarity]
test/proof/prepareAlienCollection.sh [moved from prod/proof/prepareAlienCollection.sh with 100% similarity]
test/proof/rec.C [moved from prod/proof/rec.C with 100% similarity]
test/proof/rec.sh [moved from prod/proof/rec.sh with 100% similarity]
test/proof/run.C [moved from prod/proof/run.C with 100% similarity]