mirror of
https://github.com/google/blockly.git
synced 2026-05-10 22:20:10 +02:00
e36a10327f
A little bit of an ugly hack, but it works: pipe stderr through grep -v to suppress error output starting with "WARNING in".