Amendment: removed 'evr_params.cs_timeout_cnt' assignment #7
Reference in New Issue
Block a user
No description provided.
Delete Branch "fix_issue_#5"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This parameter is a local enhancement and not present on the
master branch.
Also: two small changes which address GHDL issues.
mentioned in issue #5
merged
mentioned in commit
13d42baf14