Damir Jelić e3ae05b6b9 Merge branch 'poljar/eventindex-user-version' into develop

2020-06-19 09:50:40 +02:00

..

BaseEventIndexManager.ts

Merge branch 'poljar/eventindex-user-version' into develop

2020-06-19 09:50:40 +02:00

EventIndex.js

Merge branch 'poljar/eventindex-user-version' into develop

2020-06-19 09:50:40 +02:00

EventIndexPeg.js

EventIndex: Bump our user version and delete the db if it's an old db.

2020-06-17 17:13:25 +02:00