diff etc/HELLO @ 76023:70e00d4c1216

(list-buffers-noselect): Use explicit unicode code rather than the corresponding unicode char, to make the code more readable.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 19 Feb 2007 15:46:25 +0000
parents dc23aaa67696
children 713172dcf518 52a7f3f50b89
line wrap: on
line diff