summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDennis Kobert <dennis@kobert.dev>2019-12-21 19:47:57 +0100
committerDennis Kobert <dennis@kobert.dev>2019-12-21 19:47:57 +0100
commitb8b32592259235ab3c9566ce9c32593c0baf68ba (patch)
tree14d3cd1f410720b2309be8a7a95956958b74c6a0 /.gitignore
parent7dcf1fe29e7983409027a69f0fa046f76874859b (diff)
Add dummy solver
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions