See also entry in DESCRIPTION file
################################################################################
#
# This script checks the config.pro file for missing nested mapkeys.
#
# usage: miss_mapkeys [file]
#
# History:
#
# 20000405 Script is now much faster.
# 19990219 Changed SCRIPTS_DIR extraction.
# 19961125 Changed default config.pro location to $HOME
# first version july 1996
#
################################################################################
|