tree 52d94575542627903b54ea91abcd10ee766fb306
parent 1a65d1537f1f4bda19b45d82b487cf1f1c934a70
author Stephan Wahlbrink <sw@wahlbrink.eu> 1536606575 +0200
committer Stephan Wahlbrink <sw@wahlbrink.eu> 1536616385 +0200

Update declarations for StatET 4.0 / RJ 3.0