I suppose this might be intentional, but i don't like it
Summary: make tree sort order isn't very friendly → make-tree.pl sort order isn't very friendly
Comment on attachment 112735 [details] [diff] [review] changes I guess if you find this useful, go ahead and check it in.
Attachment #112735 - Flags: review?(dbaron) → review+
Status: UNCONFIRMED → RESOLVED
Last Resolved: 15 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.