Merge branch 'main' into user-account

2023-01-24 15:04:44 -05:00
parent a278297f28 471775ae49
commit 3e48c86ee9
2 changed files with 0 additions and 3 deletions
--- a/docs/develop.md
+++ b/docs/develop.md
@@ -92,7 +92,6 @@ sudo apt install \
    gcc-arm-linux-gnueabi \
    gcc-aarch64-linux-gnu \
    python3-pip \
-    upx \
    git
 ```