[Piton] Mise à jour 2.1 (26 août 2023)
Rédigé par C. Pierquet
Aucun commentaire
Classé dans : Packages
Mise à jour de l'excellent package Piton de François Pantigny (2.1).
Au programme de cette mise à jour :
-
modification de la clé
line-numbersliée à la numérotation des lignes avec des sous-clés.
