scottr 3122ba5447 Split POOL_DIAGNOSTIC and POOL_LOGSIZE into seperate option header files.
The former is used in many places, and the latter in one, which makes
adjusting POOL_LOGSIZE rather painful.
1999-04-29 17:41:45 +00:00
..