Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* OMCompiler fbb8233...4002cbd (2): > replace $PRE and $CLKPRE with nicer names (cf. $DER) > remove obsolete workaround * testsuite 8bd5f27...092dd2f (1): > adapt test to nicer $CLKPRE name
- Loading branch information