DBDOC-CHECK IGNORED FUNCTION.ERR

The error types in this file have not yet been converted to work with the error browser.

Ignored function ButtonHilite( "18", "17" ) in valve_pop

This function is ignored by our processing.