Diffusion afp-devel 0f9739670445

adapted to scala-3.1.2;
0f9739670445
Actions

Tags

None

Subscribers

None

Description

adapted to scala-3.1.2;

Details

Provenance

Authored on

Parents

rAFP2c63017ece34: merge from afp-2021-1

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP0f9739670445: adapted to scala-3.1.2;.Jul 1 2022, 3:15 PM

Changes (3)

Path

Size

tools/

afp_site_gen.scala

migration/

afp_migrate_metadata.scala

rAFP0f9739670445

tools/afp_site_gen.scala

Loading...

tools/migration/afp_migrate_metadata.scala

Loading...

tools/toml.scala

Loading...