|
Options d'export TopGmi |
Cette commande permet soit d'exporter en tant que nouveau fichier TopGmi, soit de mettre à jour un fichier TopGmi existant en indiquant lequel.
Le repère de référence qui sera utilisé à l'import de ce fichier, peut également être sélectionné.