Diffusion afp-devel 4c884c77c0d3

hugo site: cleaned up;
4c884c77c0d3
Actions

Tags

None

Subscribers

None

Description

hugo site: cleaned up;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPdf1af1d66b11: hugo site: added devel version;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP4c884c77c0d3: hugo site: cleaned up;.Mar 2 2022, 10:47 AM

Changes (11)

Path

Size

admin/

site/

themes/

afp/

assets/

sass/

layouts/

_default/

entries/

partials/

navigation.html

theory-navigation.html

static/

css/

js/

header-search.js

rAFP4c884c77c0d3

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

Loading...

admin/site/themes/afp/layouts/_default/baseof.html

Loading...

admin/site/themes/afp/layouts/_default/search.html

Loading...

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

Loading...

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

Loading...

admin/site/themes/afp/layouts/partials/header.html

Loading...

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

Loading...

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

Loading...

admin/site/themes/afp/static/css/isabelle.css

Loading...

admin/site/themes/afp/static/js/header-search.js

Loading...

admin/site/themes/afp/static/js/search.js

Loading...