tree 2d0beb48a4384e01d2a368bc1a3cd2122d37426b
parent f85a1cf5df073ed9cba80043f2ddd8ec06c14730
author Gael Guennebaud <g.gael@free.fr> 1276896357 +0200
committer Gael Guennebaud <g.gael@free.fr> 1276896357 +0200

add the possibility to set the cache size at runtime