tree 5f7d1dc630d8ae681598804ac64e1abff604e14c
parent 37a0edeb301008620926a8760fd3754f939d53f6
author Harald Lüngen <luengen@ids-mannheim.de> 1727244060 +0300
committer Harald Lüngen <luengen@ids-mannheim.de> 1727244060 +0300

options and switches and their interpretations; case distinctions and update of usage message