Revision 8552c078bc126613c17b420bad7e2dbcba0ad326

Committed on 01/06/2012 11:42 am by jbouzekri <jonathan.bouzekri@gmail.com> [GitHub Diff]

configure the cache manager