* changement de la configuration Git * abandon des raccourcis vers RERO avec la commande `wd` * nouveau serveur SSH * ajour de phpstorm (de chez Jetbrains) dans la config i3wm
8.2 KiB
8.2 KiB