Add installation note about Raspberry Pi OS

rajbos · Aug 17, 2021 · 810c421 · 810c421
1 parent 0366e04
commit 810c421
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/install_linux.md b/docs/install_linux.md
@@ -9,7 +9,7 @@ our release schedule.
 
 ## Official sources
 
-### Debian, Ubuntu Linux (apt)
+### Debian, Ubuntu Linux, Raspberry Pi OS (apt)
 
 Install: