See also entry in DESCRIPTION file
################################################################################
# This scripts shows all your duplicate config.pro options.
#
# usage: dupl_config.pro [file]
#
# History:
#
# 20000405 Fixed bug: crashed with very long mapkeys.
# 19990219 Changed SCRIPTS_DIR extraction.
# 19961125 Changed default config.pro location to $HOME
# 19960723 Changed SCRIPTS_DIR setting.
# 19960701 Changed script for changes in cat_current_config.pro option.
# 19960405 Fixed bug: Unmatched '
# first version 1995
#
################################################################################
|