Skip to content
GitLab

merge-tp

Merged Tomáš Pecka requested to merge merge-tp into master
  • CI build fixes
  • 'set exit_on_error': a command similar to 'set -e' in bash
  • SJT and BeginToEndIndex transformer for prefix unranked bar notation
Edited by Tomáš Pecka

Merge request reports