add unchecked vs. ok distinction to lint
authorivan <ivan>
Wed, 27 Aug 2008 00:05:20 +0000 (00:05 +0000)
committerivan <ivan>
Wed, 27 Aug 2008 00:05:20 +0000 (00:05 +0000)
commita723b3aeba37298773e52cada771e3bb2b29ae20
tree0100b9f5ca56f5f429c6b2b78332bd119759ee92
parent45e8c18da513a4e88edc41e43b2ce1079ecb8b27
add unchecked vs. ok distinction to lint
httemplate/elements/mcp_lint.html