/* NOTE THAT THIS FILE IS MUCH, MUCH SMALLER THAN IT USED TO BE.
* That's because the setup program now creates a citadel.config file with
* all of the settings that don't really need to be in a header file.
/* NOTE THAT THIS FILE IS MUCH, MUCH SMALLER THAN IT USED TO BE.
* That's because the setup program now creates a citadel.config file with
* all of the settings that don't really need to be in a header file.