thomas girod d51dbf8a53 Merge pull request #724 from ae-utbm/ninja ... Use django-ninja for the API		2024-07-24 00:48:08 +02:00
..
core	Merge pull request #724 from ae-utbm/ninja	2024-07-24 00:48:08 +02:00
search/indexes	search: reduce user index size	2021-09-28 01:44:15 +02:00