diff devel/are-options-documented @ 424:19be3b27df6f

Fixed forgotten resetting of identity.
author markus schnalke <meillo@marmaro.de>
date Wed, 30 May 2012 11:24:33 +0200
parents 4905a1d9e6a7
children
line wrap: on
line diff