tree e06a2c5cbac66d614e9ecd37e88ef99cae65c843
parent da7497f52aae4ee0daff01cb2db0540dcb8e3fae
author Dirk Dougherty <ddougherty@google.com> 1377904875 -0700
committer Dirk Dougherty <ddougherty@google.com> 1378246383 -0700

Concatenate navtree dirs that hold other dirs only. Adjust sorting of dir contents.

Change-Id: I49e67a8ab09bb3b6d411201d4e51a80c477929b4