Par Maïeul Rouquette, le 21 novembre 2023 à 13h07min :
fix: éviter warning sur la geberation de l’aide pour les saisies qui n’ont pas d’options de dev
Modifié inc/saisies_aide.php
Détails : fix: éviter warning sur la geberation de l'aide pour les saisies qui n'ont pas d'options de dev · 74dc4c3db3 - saisies - SPIP on GIT