mirror of
https://github.com/google/blockly.git
synced 2026-01-13 11:57:10 +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