chiark / gitweb /
Allow --save to work with --soln, causing saved game files to be
authorSimon Tatham <anakin@pobox.com>
Wed, 28 Dec 2011 18:17:30 +0000 (18:17 +0000)
committerSimon Tatham <anakin@pobox.com>
Wed, 28 Dec 2011 18:17:30 +0000 (18:17 +0000)
commit7024735f89c7b04b57e7ea41d5104a3455c91348
tree249519cde28cd309d8a8d85d5e11adbfe4566652
parentb5cb02b61ac70ce92631c1a39d66e7668e870c8a
Allow --save to work with --soln, causing saved game files to be
written out with the Solve operation having already been performed.

[originally from svn r9375]
gtk.c
midend.c