Skip to content
Snippets Groups Projects
Commit a204de6a authored by Ben Gamari's avatar Ben Gamari
Browse files

CorePrep: Name `sat` binders more descriptively

parent 704eeb02
No related tags found
1 merge request!13849CorePrep: Name `sat` binders more descriptively
Pipeline #106479 passed
Stage: tool-lint
Stage: quick-build
Stage: full-build
Stage: packaging
Stage: testing
Hide whitespace changes
Inline Side-by-side
Showing
with 73 additions and 46 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment