Damir Jelić 25568fa15c EventIndex: More lint fixes.

2020-03-12 12:20:46 +01:00

..

BaseEventIndexManager.js

EventIndex: Add support to delete events from the index.

2020-03-12 12:01:50 +01:00

EventIndex.js

EventIndex: More lint fixes.

2020-03-12 12:20:46 +01:00

EventIndexPeg.js

EventIndexPeg: Style fix for a docstring.

2020-01-24 11:16:49 +01:00