Fix url issues

2025-06-13 14:01:36 -06:00
parent 1c48f7642c
commit bea87c2007
2 changed files with 2 additions and 2 deletions
--- 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