-RM-77-MR-[DOC] permanent ticket
This is a permanent ticket where all documentation work not related to other tickets can be attributed to. On how to attribute work to tickets see [[DeveloperGuidelines#Checkin-Guide-Lines]].
For a discussion about permanent tickets see http://lists.informatik.uni-leipzig.de/pipermail/openwalnut-dev/2011-September/000253.html
(from redmine: created on 2011-09-21, closed on 2011-09-21)