Replace reading .elmi files with a faster and less hacky approach#442
Merged
harrysarson merged 81 commits intortfeldman:masterfrom lydell:jsOct 28, 2020
+1,487-392
Commits
Commits on Sep 26, 2020
Commits on Sep 27, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 3, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 4, 2020
- committed
- committed
- committed
Commits on Oct 9, 2020
Commits on Oct 10, 2020
Commits on Oct 14, 2020
Commits on Oct 15, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 16, 2020
Commits on Oct 17, 2020
- committed
Commits on Oct 19, 2020
Commits on Oct 20, 2020
- committed
Commits on Oct 24, 2020
Commits on Oct 26, 2020
Commits on Oct 27, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed