marvin est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
-
Je n'ai encore rien demandé.
Dernières réponses
- 0 votes
Comment empêcher le terminal de se redimensionner lorsque la taille de la police est modifiée ?
el 10 de Mai, 2017 0 votes
Tags préférés
- 1 x terminal