Révision 2839
fix launch scripts to use the "launcher" binary launcher instead of "TXM"
Fichiers
- ajouté
- modifié
- copié
- renommé
- supprimé
Ajouté par Matthieu Decorde il y a plus de 5 ans
fix launch scripts to use the "launcher" binary launcher instead of "TXM"