diff options
| author | Damien George <damien.p.george@gmail.com> | 2020-04-19 21:53:59 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2020-04-22 14:03:26 +1000 |
| commit | 17dc86369f018caaee0b81740619bb1ca5a5f891 (patch) | |
| tree | 842a3218cc76539479982be2df9c9b5730f5a3f8 /docs/library/esp32.rst | |
| parent | 1cc24cd39a971a03fe397ce575e59aa7d9b48e3b (diff) | |
tools/metrics.py: Use OrderedDict when reading build log.
So that the output (eg of the diff command) always has the lines in the
same order.
Diffstat (limited to 'docs/library/esp32.rst')
0 files changed, 0 insertions, 0 deletions