From bea87c2007b17535c9dcb77283e1f6007f752c85 Mon Sep 17 00:00:00 2001
From: Landon Taylor <landon@mossbiscuits.com>
Date: Fri, 13 Jun 2025 14:01:36 -0600
Subject: [PATCH] Fix url issues

---
 hugo.toml | 2 +-
 public    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/hugo.toml b/hugo.toml
index b441acb..97a7dc1 100644
--- a/hugo.toml
+++ b/hugo.toml
@@ -1,4 +1,4 @@
-baseURL = 'https://example.org/'
+baseURL = 'https://fmtools.fyi/'
 languageCode = 'en-us'
 title = 'Formal Methods Tools'
 enableEmoji = true
diff --git a/public b/public
index fb51f11..e12ec64 160000
--- a/public
+++ b/public
@@ -1 +1 @@
-Subproject commit fb51f11cd44675e061e494d500ee43d2ded7a76a
+Subproject commit e12ec64c22666f5459b55db504495e6f972c785f