From: Thomas Bläsius Date: Thu, 16 Oct 2014 15:39:07 +0000 (+0200) Subject: adding some comments and renaming things X-Git-Url: https://i11git.iti.kit.edu/anon-gitweb/?p=Misc%2Fipe.git;a=commitdiff_plain;h=553acbe49f93eba6fbe978f960982911e7e83700;hp=553acbe49f93eba6fbe978f960982911e7e83700 adding some comments and renaming things ---