comparison config.bat @ 13438:705eb8c3d935

(env_vars): New variable. (add_registry): New procedure. (main): Use values of configuration environment variables from the registry if defined, the process environment otherwise.
author Geoff Voelker <voelker@cs.washington.edu>
date Tue, 07 Nov 1995 07:58:00 +0000
parents 09c2ad9213dd
children 327ff78701e0
comparison
equal deleted inserted replaced
13437:e1d271d0dd02 13438:705eb8c3d935