Diffusion afp-devel 8ad634e3cdd1

hugo site: merge gen and build tool;
8ad634e3cdd1
Actions

Tags

None

Subscribers

None

Description

hugo site: merge gen and build tool;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP85b69ad98ba0: hugo site: added doc headers;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP8ad634e3cdd1: hugo site: merge gen and build tool;.Mar 18 2022, 10:50 AM

Changes (5)

Path

Size

etc/

afp_build_site.scala

afp_site_gen.scala

rAFP8ad634e3cdd1

etc/build.props

Loading...

tools/afp_build_site.scala

Loading...

tools/afp_site_gen.scala

Loading...

tools/afp_tool.scala

Loading...