diff --git a/mps/qa/test/script/version b/mps/qa/test/script/version new file mode 100644 index 00000000000..573c2cf1d58 --- /dev/null +++ b/mps/qa/test/script/version @@ -0,0 +1,6 @@ +# $HopeName$ +# This file should be updated automatically whenever the test +# harness changes. Edit with care! + +$HARNESS_VERSION="2.0"; +