Add installation note about Raspberry Pi OS

mislav · mislav · commit 810c42120aa4 · 2021-08-17T12:16:59.000+02:00
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:
 
