Corrected default value of testextension parameter

svn: r3454

collects/profj/parameters.ss

@@ -41,7 +41,7 @@
   (define test-ext? (make-parameter #t))
   
   ;Stores whether the test case extension is on or not
-  (define testcase-ext? (make-parameter #t))
+  (define testcase-ext? (make-parameter #f))
   
   ;Stores whether the test window should pop up
   (define tests? (make-parameter #t))