diff playtree.h @ 4293:1b6f6519b037

Add a check to not set the cache size if the user alredy set it. Use m_config_set_int in place of m_config_set_option.
author albeu
date Mon, 21 Jan 2002 10:47:47 +0000
parents fe2c20d52a25
children 3e7152b383ca
line wrap: on
line diff