summaryrefslogtreecommitdiff
path: root/configure.in
diff options
context:
space:
mode:
authorDavid Kalnischkies <kalnischkies@gmail.com>2011-05-03 17:27:11 +0200
committerDavid Kalnischkies <kalnischkies@gmail.com>2011-05-03 17:27:11 +0200
commit7f4713547665e12e032501228a98586e5add48f7 (patch)
tree24b7888cbbc24046ae15aa36b410e561db50721c /configure.in
parentee8c790a660a817417267379bca1a26e7813dfde (diff)
add a tiny dump solver to quickly output a scenario
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions