diff etc/TERMS @ 85941:c1676fc08cea

(ido-save-history): Write the history file in the current filename coding system, and add `coding' file-local variable.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 06 Nov 2007 12:25:06 +0000
parents 713172dcf518
children 1dd7437446ea
line wrap: on
line diff