From 9a9e91e1dd014b5995c702322f4f134ecfa7d0d9 Mon Sep 17 00:00:00 2001
From: lemmih <lemmih@gmail.com>
Date: Sun, 3 Aug 2025 09:51:13 +0200
Subject: [PATCH] replace playground link with link to frontpage

---
 layout.pug | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/layout.pug b/layout.pug
index 9f5e536..6e34617 100644
--- a/layout.pug
+++ b/layout.pug
@@ -24,11 +24,11 @@ header
     a(href='/') RGeometry
   h2 Computational Geometry in Rust
   .btn
+    a(href='/') Home
     a(href='https://github.com/rgeometry/rgeometry') GitHub
     a(href='https://discord.gg/vZZmxwWjeZ') Discord
     a(href='https://docs.rs/rgeometry/') API Reference
     //- a(href='https://rgeometry.org/rgeometry-playground/') Playground
-    a(href='playground.pug') Playground
     a(href='overview.pug') Landscape
     a(href='correctness.pug') Correctness
 main