Diffusion afp-devel 79e043c174f0

hugo site: merge gen and build tool;
79e043c174f0
Actions

Tags

None

Subscribers

None

Description

hugo site: merge gen and build tool;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPe56a3c69ae27: hugo site: added doc headers;

Branches

Unknown

Tags

Unknown

Event Timeline

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

rAFP79e043c174f0

etc/build.props

Loading...

tools/afp_build_site.scala

Loading...

tools/afp_site_gen.scala

Loading...

tools/afp_tool.scala

Loading...