diff DOCS/default.css @ 19424:5df27eeec3bf

Rename gcc_checking variable to gcc_check.
author diego
date Thu, 17 Aug 2006 23:40:11 +0000
parents 5c29c5c5f47c
children 0ad2da052b2e
line wrap: on
line diff