K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2013-10-19T23:28:06.906338Z
K 7
svn:log
V 54
Replace USE_GCC=4.6+ by the more general USE_GCC=yes.

END