chiark / gitweb /
merge changes made accidentally to wrong copy
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Wed, 3 Jun 2009 22:48:27 +0000 (23:48 +0100)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Wed, 3 Jun 2009 22:48:27 +0000 (23:48 +0100)
commit24222363faec9b4e3d7074af2df5f39933613c7f
treefa5417deb189cb8f568ea8e6881e0beea0b23c93
parent1971b4961a061d32a86a5e08a64f1b960f666802
parenta7c52a5cdad0b1a4c4e053992858674e8d7953a7
merge changes made accidentally to wrong copy
pctb/show-thing.tcl