Rename proceedings label in nav

kaitj · kaitj · commit 471e2c24c4da · 2024-12-16T13:40:31.000-05:00
diff --git a/_data/navigation.yml b/_data/navigation.yml
@@ -4,7 +4,7 @@ main:
     url: "/about"
   - title: "Get Involved"
     url: "/engagement"
-  - title: "Proceedings"
+  - title: "Tools"
     url: "/proceedings"
   # - title: "About"
   #   url: https://mmistakes.github.io/minimal-mistakes/about/
