chiark / gitweb /
Move up midend_is_solved() in the developer docs from subheading to
authorSimon Tatham <anakin@pobox.com>
Sun, 3 Apr 2011 07:55:18 +0000 (07:55 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 3 Apr 2011 07:55:18 +0000 (07:55 +0000)
commit2054da9f682680392ce28a04333ca659479d9606
treef0794024630ca067d74668eb75a2d0a12e540c95
parent980880be1f2801b2a69fcc67abc0f5827fd106f2
Move up midend_is_solved() in the developer docs from subheading to
heading level. It's _almost_ apt to have it as a subheading of
midend_solve(), but not quite, and it certainly wasn't intentional - I
must have absentmindedly typed the wrong Halibut command letter.

[originally from svn r9142]
devel.but