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 0669f74395 ui: Make others menu items active when on respective page		2024-09-18 10:56:25 +02:00
..
fic	ui: Make others menu items active when on respective page	2024-09-18 10:56:25 +02:00