diff options
| author | Tavian Barnes <tavianator@gmail.com> | 2010-08-01 13:05:02 -0600 |
|---|---|---|
| committer | Tavian Barnes <tavianator@gmail.com> | 2010-08-01 13:05:02 -0600 |
| commit | 52148d309a9588f5c3a14695133d6a6182c1b8d0 (patch) | |
| tree | 0fe229d90c2f64234ac2c3eaaf4b56a86af9f22b /doc/Makefile.am | |
| parent | fb9dcc629630fe77840574088412eeb12b8d7ddb (diff) | |
| download | dimension-52148d309a9588f5c3a14695133d6a6182c1b8d0.tar.xz | |
Fix PR-tree implementation.
Grab priority leaves all at once instead of round-robin.
Diffstat (limited to 'doc/Makefile.am')
0 files changed, 0 insertions, 0 deletions