Commit graph

6 commits

Author SHA1 Message Date
daladim
5505a17081 [doc] 2021-12-24 11:47:55 +01:00
daladim
0075ebfbdb More ID -> URL renaming 2021-11-16 00:10:47 +01:00
daladim
2f7c14d0aa Better distinction ID/UID 2021-11-15 23:52:26 +01:00
daladim
e563cb3b2f Comparison functions are no longer provided 2021-08-12 20:05:58 +02:00
daladim
2b339a7aff Added sorting utilities 2021-07-05 11:28:06 +02:00
daladim
ab8f6a9413 Moved a file 2021-07-05 11:06:55 +02:00