Ivan Grokhotkov d835387924 tools: make idf_tools.py download --platform argument optional
...as it is described in the docs.
2021-12-01 20:02:19 +01:00
..
2021-11-30 09:42:12 +08:00
2021-11-30 09:42:12 +08:00