From 061f2418a96c2849c558bdf65e453fe10cd265ee Mon Sep 17 00:00:00 2001 From: hanez Date: Sun, 19 Apr 2026 01:05:10 +0200 Subject: [PATCH] Some cleanups. No code changes. (0.40.5) --- web/_includes/header.html | 1 + web/documentation/documentation.md | 21 +++++++++++---------- web/documentation/repl/repl.md | 4 ++-- 3 files changed, 14 insertions(+), 12 deletions(-) diff --git a/web/_includes/header.html b/web/_includes/header.html index ec799f9..90c58f7 100644 --- a/web/_includes/header.html +++ b/web/_includes/header.html @@ -11,6 +11,7 @@
  • Community
  • Contact
  • Documentation
  • +
  • FAQ
  • Download