Diffusion afp-devel df920a57d3cf

changed generated author format;
df920a57d3cf
Actions

Tags

None

Subscribers

None

Description

changed generated author format;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPf09cb003fe3c: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPdf920a57d3cf: changed generated author format;.Nov 18 2021, 9:10 AM

Changes (1)

Path

Size

tools/

afp_site_gen.scala

rAFPdf920a57d3cf

tools/afp_site_gen.scala

Loading...