thomas girod 04e7f65e8e Merge pull request #725 from ae-utbm/drop-jquery-calendar ... Remove jquery datetimepicker		2024-07-25 01:20:41 +02:00
..
core	Merge pull request #725 from ae-utbm/drop-jquery-calendar	2024-07-25 01:20:41 +02:00
search/indexes	search: reduce user index size	2021-09-28 01:44:15 +02:00