Revision 94eea1f9ade14200490853e2ceac0e17bd0b2cc0

Committed on 29/09/2014 5:25 am by Henning Kvinnesland <[email protected]> [GitHub Diff]

Support for new save-format.