Diffusion afp-devel e56a3c69ae27

hugo site: added doc headers;
e56a3c69ae27
Actions

Tags

None

Subscribers

None

Description

hugo site: added doc headers;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP51c88bc0b376: hugo site: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPe56a3c69ae27: hugo site: added doc headers;.Mar 18 2022, 9:16 AM

Changes (8)

Path

Size

tools/

afp_dependencies.scala

afp_site_gen.scala

afp_structure.scala

rAFPe56a3c69ae27

tools/afp_dependencies.scala

Loading...

tools/afp_site_gen.scala

Loading...

tools/afp_structure.scala

Loading...

tools/hugo.scala

Loading...

tools/metadata.scala

Loading...

tools/python.scala

Loading...

tools/toml.scala

Loading...

tools/utils.scala

Loading...