Skip to content
Snippets Groups Projects
  • Joris van Zwieten's avatar
    f3b0517e
    BugID: 987 · f3b0517e
    Joris van Zwieten authored
    - changed API: add_solve_arguments -> add_solve_step, so API ensures consistency (i.e.
      with the change it is harder to add a solve step without solve arguments.
    f3b0517e
    History
    BugID: 987
    Joris van Zwieten authored
    - changed API: add_solve_arguments -> add_solve_step, so API ensures consistency (i.e.
      with the change it is harder to add a solve step without solve arguments.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.