Jonas Jenwald 7df78f997e Slightly more efficient getDestination
For named destinations that are contained in a `Dict`, as opposed to a `NameTree`, we currently iterate through the *entire* dictionary just to fetch *one* destination.
This code appears to simply have been copy-pasted from the `get destinations` method, but in its current form it's quite unnecessary/inefficient since can just get the required destination directly instead.
2015-07-08 18:31:51 +02:00
..
2015-02-17 11:07:37 -05:00
2015-02-17 11:07:37 -05:00
2015-02-17 11:07:37 -05:00
2015-02-17 11:07:37 -05:00
2015-07-02 16:47:47 -05:00
2015-02-17 11:07:37 -05:00
2015-02-17 11:07:37 -05:00
2015-07-08 18:31:51 +02:00
2015-02-17 11:07:37 -05:00