element-web/src/indexing
2020-03-17 10:15:12 +01:00
..
BaseEventIndexManager.js EventIndex: Add support to delete events from the index. 2020-03-12 12:01:50 +01:00
EventIndex.js Merge branch 'poljar/shutdown' into develop 2020-03-17 10:15:12 +01:00
EventIndexPeg.js EventIndex: Properly await the index closing. 2020-03-13 11:33:58 +01:00