Damir Jelić c9ac726629 EventIndex: Remove an unused variable.

2020-05-05 10:21:18 +02:00

..

BaseEventIndexManager.js

EventIndex: Add support to delete events from the index.

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

EventIndex.js

EventIndex: Remove an unused variable.

2020-05-05 10:21:18 +02:00

EventIndexPeg.js

Take encrypted message search out of labs

2020-04-22 10:58:11 -06:00