Diffusion afp-devel d2e29e073f08

better defaults;
d2e29e073f08
Actions

Tags

None

Subscribers

None

Description

better defaults;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPbec250baad75: clarified AFP base dir: usually given by environment;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPd2e29e073f08: better defaults;.Mon, Apr 15, 11:21 AM

Changes (1)

Path

Size

tools/

afp_site_gen.scala

rAFPd2e29e073f08

tools/afp_site_gen.scala

Loading...