Diffusion afp-devel 2f4e11acf6a0

switch to www prefixed isa-afp.org domain;
2f4e11acf6a0
Actions

Tags

None

Subscribers

None

Description

switch to www prefixed isa-afp.org domain;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPabfd82b150f6: clarified afp-submit error handling;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP2f4e11acf6a0: switch to www prefixed isa-afp.org domain;.Nov 10 2022, 4:04 PM

Changes (2)

Path

Size

tools/

afp_submit.scala

rAFP2f4e11acf6a0

tools/afp_submit.scala

Loading...

tools/main.css

Loading...