Diffusion afp-devel 7a437b316da1

metadata migration: updated authors;
7a437b316da1
Actions

Tags

None

Subscribers

None

Description

metadata migration: updated authors;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP62438b9eef06: hugo: added mobile view;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP7a437b316da1: metadata migration: updated authors;.Jan 27 2022, 2:42 PM

Changes (1)

Path

Size

tools/

migration/

afp_migrate_metadata.scala

rAFP7a437b316da1

tools/migration/afp_migrate_metadata.scala

Loading...