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)
commitc1c995d9bda1589118eefc61c0636eb573b588c2
treefc87e416f6a92cdf2a2db63e86abdf94888f76dc
parentc4fc80fc378cd94241587bb451d5f919394641e5
Flush Mason buffer.
Embolden final message.
web/htdocs/details/check.mc