Types d'extension des outils serveur
Le tableau suivant répertorie les types d'extension qui sont générés par les outils serveur.
Tableau 1. Récapitulatif des types d'extension d'outils serveur
Fichier de ressources
Type d'extension
serveurs
.server
configurations de serveur
.config
Rubrique parent :
Définition des préférences de serveur