From: Thomas Bläsius Date: Tue, 14 Oct 2014 15:25:25 +0000 (+0200) Subject: minor changes to the wiki-stuff (decorator) X-Git-Url: https://i11git.iti.kit.edu/anon-gitweb/?p=Misc%2Fipe.git;a=commitdiff_plain;h=55ff12bbb0af8668bdba224d5030cf08e0e79a6c;hp=55ff12bbb0af8668bdba224d5030cf08e0e79a6c minor changes to the wiki-stuff (decorator) ---