Skip to content
Snippets Groups Projects
user avatar
Cedric Roux authored
the list of IDs is stored alphabetically so when accessing the database
with an ID one needs an indirection to get the correct record.
"pos" was not clear. "id_to_pos" is clearer.
d4f5ab77
History
Name Last commit Last update