adding some comments and renaming things
authorThomas Bläsius <thomas.blaesius@kit.edu>
Thu, 16 Oct 2014 15:39:07 +0000 (17:39 +0200)
committerThomas Bläsius <thomas.blaesius@kit.edu>
Thu, 16 Oct 2014 15:39:07 +0000 (17:39 +0200)

No differences found