Skip to content
Snippets Groups Projects
Commit f3b0517e authored by Joris van Zwieten's avatar Joris van Zwieten
Browse files

BugID: 987 

- 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.
parent c3718da6
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment