diff make-dist @ 95798:813561cb0d2c

(turn-on-xterm-mouse-tracking, turn-off-xterm-mouse-tracking): Use terminal-list.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 10 Jun 2008 21:56:13 +0000
parents 527d3f141bfc
children 914fd1aed50a
line wrap: on
line diff