diff Copyright @ 30680:9f6927dd7472

Reorder buffer debug. Also print out if slice was buffered.
author ramiro
date Tue, 23 Feb 2010 16:46:43 +0000
parents d3ba36f72b57
children 1aece15222b5
line wrap: on
line diff