K 10 svn:author V 5 joerg K 8 svn:date V 27 2004-07-07T19:49:07.000000Z K 7 svn:log V 183 Switch from MASTER_SITE_GNU to MASTER_SITE_GCC; it seems the GNU mirrors aren't up-to-date for GCC these days. Also, document the 0b binary constants hack committed a few hours ago. END