thomas girod 5c999b6ef1
Merge pull request #696 from ae-utbm/fix-xapian-deploy
Fix missing xapian install step in deploy workflows
2024-07-05 10:28:41 +02:00
..
2024-07-04 14:44:28 +02:00