[pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci
kucera-lukas · Aug 22, 2023 · 5273857 · 5273857
1 parent 00360c9
commit 5273857
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/web/index.html b/web/index.html
@@ -1,4 +1,4 @@
-<!DOCTYPE html>
+<!doctype html>
 <html lang="en">
   <head>
     <meta charset="UTF-8" />