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)
commitb482c17f90c314fb8f43e4fc330625367103121e
tree60c309c3ff785c4a5a8762c557fe9d23e9372b72
parent02fdc2909253e8bab7022b9dcd7f6bc060b5c67d
Allow all-targets test to choose between Quick and Full.
web/htdocs/details/check.mc