comparison Gui/wm/ws.h @ 4302:9f12fd5f47d0

Modified the cache option value setting/reading, so we can report in any case the cache size value used.
author bertrand
date Tue, 22 Jan 2002 06:12:18 +0000
parents fd44ecf77f8d
children b013d01d9968
comparison
equal deleted inserted replaced
4301:8f43b10f387f 4302:9f12fd5f47d0