Revision f0f5755fc311e52a0d0792bf2319647304dac584

Committed on 01/04/2012 2:46 pm by Frank <[email protected]> [GitHub Diff]

Minor design changes.