Diffusion afp-devel bb594d6d379d

clarified metadata;
bb594d6d379d
Actions

Tags

None

Subscribers

None

Description

clarified metadata;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP8225e73dbf62: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFPbb594d6d379d: clarified metadata;.Nov 12 2021, 2:19 PM

Changes (2)

Path

Size

tools/

migration/

afp_migrate_metadata.scala

rAFPbb594d6d379d

tools/metadata.scala

Loading...

tools/migration/afp_migrate_metadata.scala

Loading...