CodingPirates/blockly
1
0
Fork 0
mirror of https://github.com/google/blockly.git synced 2026-01-11 02:47:09 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
16b5ccd2eaed64ddf6da170b4398e79ef1ac3120
blockly/core/widgetdiv.js
Rachel Fenichel 3740d51089 chore: makes types of divs more specific (#5988) 
* chore: cast to a more specific type when creating a div

* chore: make types more specific for divs

* chore: format
2022-03-08 16:00:31 -08:00

8.9 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink