Skip to content
Snippets Groups Projects

Correction of small error regarding function and predicate definition. Fix to missing case in printer match.

Merged Correction of small error regarding function and predicate definition. Fix to missing case in printer match.
github/fork/SimonGuilloud/main into main
Merged Viktor Kuncak requested to merge github/fork/SimonGuilloud/main into main

Created by: SimonGuilloud

Correction of small error regarding function and predicate definition. Fix to missing case in printer match.

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply