Skip to content
GitLab

[cleanup] Improve index types

Merged Timo Koch requested to merge cleanup/indextypes into master

Fixes #358 (closed).

Edited by Timo Koch