Flush Mason buffer.
authorMike Taylor <mike@indexdata.com>
Tue, 26 Sep 2006 10:16:15 +0000 (10:16 +0000)
committerMike Taylor <mike@indexdata.com>
Tue, 26 Sep 2006 10:16:15 +0000 (10:16 +0000)
commitcc122c38c4f88dffc611c1dd32236fd78a6a8dd6
tree9ef30134d77d9740e4d53deaa8fedec0cb6ce4ac
parent42df1e0ffaa38a2beb1186b5bcd2988a43d444c7
Flush Mason buffer.
Embolden final message.
web/htdocs/details/check.mc