Revision f1458945346045c0ceb0e797da78205302e2071e

Committed on 06/11/2015 6:15 am by dennispoppe <[email protected]> [GitHub Diff]

improved variable names, documented helptools.ini