Diffusion afp-devel 924196498890

hugo site: minor changes;
924196498890
Actions

Tags

None

Subscribers

None

Description

hugo site: minor changes;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPc39f6e4a6a87: hugo-site: improve various aspects;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP924196498890: hugo site: minor changes;.Jun 1 2022, 12:29 PM

Changes (2)

Path

Size

admin/

site/

themes/

afp/

layouts/

partials/

theory-navigation.html

rAFP924196498890

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

Loading...

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

Loading...