mirror of
https://github.com/google/blockly.git
synced 2026-05-03 10:30:13 +02:00
b348e18dfb
Per the gulp documentation[1], globs passed to gulp.src should use '/' as the path separator regardless of the path separator used on whatever OS we are running on. [1] https://gulpjs.com/docs/en/getting-started/explaining-globs#segments-and-separators