mirror of
https://github.com/micropython/micropython.git
synced 2026-01-05 11:40:18 +01:00
This has a fairly dramatic (nearly 3x on a 6-core machine) speedup for docs compilation, with no impact on correctness. Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
7.1 KiB
7.1 KiB