Revision f1458945346045c0ceb0e797da78205302e2071e

Committed on 06/11/2015 6:15 am by dennispoppe <dennis@xrow.de> [GitHub Diff]

improved variable names, documented helptools.ini