Historique
Exécuter
Supprimer définitivement cette session ?
Réinitialiser cette session ?
Insérer une nouvelle commande ?
Attention: modifier l'historique implique une réinitialisation complète de la session (si certaines commandes sont longues à exécuter, alors cela peut prendre du temps).
Supprimer définitivement cette commande ?
Attention: modifier l'historique implique une réinitialisation complète de la session (si certaines commandes sont longues à exécuter, alors cela peut prendre du temps).
Supprimer définitivement cette commande ?
Modifier cette commande ?
Attention: modifier l'historique implique une réinitialisation complète de la session (si certaines commandes sont longues à exécuter, alors cela peut prendre du temps).
Renommer la session
Données exportées:
Données à importer:
Une erreur est survenue: