picolab should use its own devtools-api.js

Picolab / devtools

Repository for KRL Developer Tools

MIT License

6 stars 4 forks source link

Closed burdettadam closed 7 years ago

burdettadam commented 7 years ago

picolab should not use devtools-api.js from kre.

windley commented 7 years ago

Good catch @burdettadam