Fichiers modifiés par l'outil d'administration SEAM

L'outil d'administration SEAM ne modifie que le fichier $HOME/.gkadmin . Ce dernier contient les valeurs par défaut appliquées à la création de nouveaux principaux et peut être mis à jour avec l'option Propriétés du menu Edition.