From 5e4a52569b23fbc10c0d0131af8dea512f5d3c16 Mon Sep 17 00:00:00 2001 From: bastien Date: Tue, 16 May 2023 17:23:38 +0200 Subject: [PATCH] =?UTF-8?q?Mise=20=C3=A0=20jour=20de=20'Platform.io=20cli'?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Platform.io-cli.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Platform.io-cli.md b/Platform.io-cli.md index f05c935..a60d193 100644 --- a/Platform.io-cli.md +++ b/Platform.io-cli.md @@ -89,7 +89,7 @@ Il faut lancer cette commande : sudo usermod -aG dialout "votre utilisateur" -## h2. Commandes utiles +## Commandes utiles Pour avoir toutes les commandes de platform.io : [Commande platform.io](https://docs.platformio.org/en/latest/core/userguide/index.html#commands) Pour ajouter des lib :