5 Commits

Include renames

Author	SHA1	Message	Date
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