Julien Kirch a89543b555 Make search for documents faster for large dataset (#698)		2023-10-08 22:07:01 +02:00
..
src	Make search for documents faster for large dataset (#698)	2023-10-08 22:07:01 +02:00
pom.xml	Closes #668: upgrade jetty/servlet-api/jersey	2023-04-09 21:31:53 +02:00