K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2012-07-30T14:39:58.617782Z
K 7
svn:log
V 96
Convert to the new options framework.

On the way update to the 20120728 snapshot of GCC 4.7.2.

END