Skip to content
GitLab
Explore
Sign in
Dominic Kempf
dune-blocklab
Issues
#47
Identify vectors with an index instead of an identifier
With the frontend being the predominant use case, it is much easier to just use an index.