Skip to content

Commit

Permalink
remove base tag
Browse files Browse the repository at this point in the history
  • Loading branch information
plt-amy committed Sep 12, 2023
1 parent b31a8f0 commit 2152011
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion support/web/template.html
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,6 @@
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<meta name="keywords" content="Agda,category theory,homotopy type theory,type theory" />

<base href="$base-url$">
<title>$pagetitle$ - 1Lab</title>

<link rel="stylesheet" href="$base-url$/css/default.css" />
Expand Down

0 comments on commit 2152011

Please sign in to comment.