mirror of
https://github.com/google/blockly.git
synced 2026-06-17 08:35:12 +02:00
62678f58eb
Also remove unused partially implemented case-sensitivity from registry.