pio-init: add alias page (#5865)

2021-05-01 20:50:03 +02:00
parent 69887e9d26
commit 5ff5ff69e2
1 changed files with 7 additions and 0 deletions
--- a/pages/common/pio-init.md
+++ b/pages/common/pio-init.md
@@ -0,0 +1,7 @@
+# pio init
+
+> This command is an alias of `pio project init`.
+
+- View documentation for the original command:
+
+`tldr pio project`