diff etc/tutorials/TUTORIAL.zh @ 102973:9980dd970cf9

* fileio.c (history_delete_duplicates): Remove unused declaration. * callint.c (history_delete_duplicates): New declaration. (Fcall_interactively): Remove command history duplicates when history_delete_duplicates is true.
author Dan Nicolaescu <dann@ics.uci.edu>
date Wed, 15 Apr 2009 00:08:23 +0000
parents c90853557b90
children 1d1d5d9bd884
line wrap: on
line diff