Allow all-targets test to choose between Quick and Full.
authorMike Taylor <mike@indexdata.com>
Thu, 30 Nov 2006 10:53:27 +0000 (10:53 +0000)
committerMike Taylor <mike@indexdata.com>
Thu, 30 Nov 2006 10:53:27 +0000 (10:53 +0000)
commita5139b5e63e193a3bcb1eb19598e6ea6feabc72b
treeed6c1d349f377406d3bd75a3982d26d7c2ce4b1d
parent162505433aee51cfb32bd8305d0942a434ba4e00
Allow all-targets test to choose between Quick and Full.
web/htdocs/details/check.mc