This repository has been archived on 2025-06-10. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.

Pierre-Olivier Mercier 6fd14306e1 Don't take case in count when sorting non-ordered vector flag ... Fixes: https://gitlab.cri.epita.fr/ing/majeures/srs/fic/server/-/issues/30		2024-04-19 11:48:57 +02:00
..
fic	Don't take case in count when sorting non-ordered vector flag	2024-04-19 11:48:57 +02:00