chiark / gitweb /
Forgot to update devel.but in r6417.
authorSimon Tatham <anakin@pobox.com>
Sat, 22 Oct 2005 16:53:06 +0000 (16:53 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 22 Oct 2005 16:53:06 +0000 (16:53 +0000)
commitd31f3ac3a5e1770c4fb9743480dfddcc8ec3dc11
tree876a2b03f061a83b7f6dc851f506c5e7dd060847
parenteb2013efc0a6201d0e46de65c1a905b676d13d01
Forgot to update devel.but in r6417.

[originally from svn r6418]
[r6417 == eb2013efc0a6201d0e46de65c1a905b676d13d01]
devel.but