chiark / gitweb /
bin/un-backslashify-selection: Fix for newer `pterm'.