diff etc/schema/xhtml-param.rnc @ 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 38f93f3d00a2
children
line wrap: on
line diff