Update _config.yml
This commit is contained in:
parent
8d399b576f
commit
b37b764026
1 changed files with 1 additions and 1 deletions
|
@ -19,7 +19,7 @@
|
|||
# in the templates via {{ site.myvariable }}.
|
||||
|
||||
title: HepLean
|
||||
#email: your-email@example.com
|
||||
email: HEPLean
|
||||
description: >- # this means to ignore newlines until "baseurl:"
|
||||
A project to digitalize results from high-energy physics into Lean 4.
|
||||
baseurl: "/HepLean" # the subpath of your site, e.g. /blog
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue