aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-04-06 22:46:32 +0100
committerFlorian Diebold <[email protected]>2021-04-06 22:46:32 +0100
commitb03969cda92661ad67897fee0ba16c1cc61830ea (patch)
tree9131d26bacbda364c81ad0ace9d4428b0d8e3c33 /.gitignore
parent31d2b3b9cb75a09c93655b38377ed5f4144ebaf0 (diff)
Remove `SolutionVariables`, add ConstrainedSubst analogous to Chalk
... just missing the constraints.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions