made pool_optimize sort entries the other way around, dump frequencies in pool_dump()
authorMatthias Kramm <kramm@quiss.org>
Fri, 16 Jan 2009 01:54:01 +0000 (17:54 -0800)
committerMatthias Kramm <kramm@quiss.org>
Fri, 16 Jan 2009 01:54:01 +0000 (17:54 -0800)

No differences found