See also entry in DESCRIPTION file
################################################################################
#
# This script checks the config.pro file for config.pro options
# not found in config.cdb file
#
# History:
#
# 20000405 Check is now much faster. Added options.
# 19990219 Changed SCRIPTS_DIR extraction.
# 19961125 Changed default config.pro location to $HOME
# 19960723 Changed SCRIPTS_DIR setting.
# 19960701 Added filter for "MAPKEY " because cat_current_config.pro has changed.
# first version 10-10-95
#
################################################################################
|