Diffusion afp-devel 0dd4c34b22d5

hugo site: cleaned up;
0dd4c34b22d5
Actions

Tags

None

Subscribers

None

Description

hugo site: cleaned up;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP6091eddc9db6: hugo site: added devel version;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP0dd4c34b22d5: 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

rAFP0dd4c34b22d5

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...