Convert effective_cache_size to an integer, for better integration with

Peter Eisentraut <peter_e@gmx.net>

Commit: 79bc99a46703dc07636f4c9f09067f87b324c6b4
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2006-07-26T11:35:56Z
Releases: 8.2.0
Convert effective_cache_size to an integer, for better integration with
upcoming units feature.

Files