chiark / gitweb /
topicedit: handle bgerror by crashing
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 11 Apr 2014 16:11:01 +0000 (17:11 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 11 Apr 2014 16:11:01 +0000 (17:11 +0100)
commit617f57d6adeddc1187c2e7d095788c59e66a6cb6
treeeb95816ee03d9611d85edc07e14e7126765cc3a7
parent8e0940d662357d62802b5be9556428add0cc05d6
topicedit: handle bgerror by crashing
topicedit.tcl