Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Changeset [0c7c1ecc3554bc52ac9802ae03f5208b042c76b7] by Oleg Andreev

Revision 0c7c1ecc3554bc52ac9802ae03f5208b042c76b7, committed by Yurii Rashkovskii · April 28th, 2008 @ 05:46 PM

skiplist_volume_spec: switched optimizations off due to bug in with_optimizations