n1474335 13f07abb8a Highlighting now works with the web worker

2017-09-19 23:34:03 +01:00

..

core

Highlighting now works with the web worker

2017-09-19 23:34:03 +01:00

node

Updated dependencies and linted

2017-07-24 13:49:16 +00:00

web

Highlighting now works with the web worker

2017-09-19 23:34:03 +01:00