Forgot to update devel.but in r6417.
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 22 Oct 2005 16:53:06 +0000 (16:53 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 22 Oct 2005 16:53:06 +0000 (16:53 +0000)
commit9680576d3ac161e2df2454a79e57b9c36314975e
tree876a2b03f061a83b7f6dc851f506c5e7dd060847
parentac9f41c4c8ccbf9364a5d351e4cb134812a9926b
Forgot to update devel.but in r6417.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@6418 cda61777-01e9-0310-a592-d414129be87e
devel.but