mirror of
https://github.com/google/blockly.git
synced 2026-01-08 09:30:06 +01:00
Apparently 'PRUNE' is the new option, but it's undocumented. More info: https://github.com/google/blockly-games/issues/176
Apparently 'PRUNE' is the new option, but it's undocumented. More info: https://github.com/google/blockly-games/issues/176