mirror of
https://github.com/google/blockly.git
synced 2026-06-17 00:25:14 +02:00
cd1d18b7a0
Apparently 'PRUNE' is the new option, but it's undocumented. More info: https://github.com/google/blockly-games/issues/176