-
Ell authored
When ordering tools according to an existing toolrc file (which is always present in a pre-existing profile), preserve the default placement of newly-added tools, instead of always adding them to the bottom of the list.
58d04375
When ordering tools according to an existing toolrc file (which is always present in a pre-existing profile), preserve the default placement of newly-added tools, instead of always adding them to the bottom of the list.