K 10
svn:author
V 5
jceel
K 8
svn:date
V 27
2012-08-06T17:00:29.579345Z
K 7
svn:log
V 68
Enable INVARIANTS, WITNESS and DIAGNOSTIC on Pandaboard by default.

END