From 5af5637027f9f2f3f2d0fb457cf485c78711a3ee Mon Sep 17 00:00:00 2001
From: Dano van den Bosch <boschds@hva.nl>
Date: Tue, 13 Feb 2024 12:44:12 +0100
Subject: [PATCH] rasberry emoji

---
 docs/.pages | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/.pages b/docs/.pages
index 3584ddd..e804870 100644
--- a/docs/.pages
+++ b/docs/.pages
@@ -9,7 +9,7 @@ nav:
     - 📚 Documentatie:
         - I2C: arduino-documentation/i2c-ESP32
         - Infrastructuur documentation:
-            - Raspberry Pi: InfrastructuurDocumentatie/raspberryPi.md
+            - 🍓 Raspberry Pi: InfrastructuurDocumentatie/raspberryPi.md
     - 🧠 Brainstorm:
         - Ideeën: brainstorm/ideeën
         - Database design: brainstorm/Database