icons/renderstyle-randomcolors.png@ee5758ddb6d2
icons/renderstyle-randomcolors.png
Sat, 11 Jun 2022 15:20:24 +0300
- author
- Teemu Piippo <teemu.s.piippo@gmail.com>
- date
- Sat, 11 Jun 2022 15:20:24 +0300
- changeset 213
- ee5758ddb6d2
- parent 161
-
6fe485a84d06
- permissions
- -rw-r--r--
Rewrite prune to use graphs rather than O(n²) searches