Diffusion afp-devel df1af1d66b11

hugo site: added devel version;
df1af1d66b11
Actions

Tags

None

Subscribers

None

Description

hugo site: added devel version;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPc123f36ad86e: hugo site: updated search and content;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPdf1af1d66b11: hugo site: added devel version;.Mar 2 2022, 10:08 AM

Changes (8)

Path

Size

admin/

site/

themes/

afp/

assets/

sass/

layouts/

entries/

partials/

theory-navigation.html

theories/

tools/

afp_site_gen.scala

rAFPdf1af1d66b11

admin/site/config.json

Loading...

admin/site/themes/afp/assets/sass/main.scss

Loading...

admin/site/themes/afp/layouts/entries/single.html

Loading...

admin/site/themes/afp/layouts/index.html

Loading...

admin/site/themes/afp/layouts/partials/theory-navigation.html

Loading...

admin/site/themes/afp/layouts/theories/single.html

Loading...

tools/afp_site_gen.scala

Loading...

tools/hugo.scala

Loading...