Diffusion afp-devel 00c034528a4a

clarified formatting, for the sake of scala3;
00c034528a4a
Actions

Tags

None

Subscribers

None

Description

clarified formatting, for the sake of scala3;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFPdbddab778577: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP00c034528a4a: clarified formatting, for the sake of scala3;.May 13 2022, 4:41 PM

Changes (10)

Path

Size

tools/

afp_check_roots.scala

afp_dependencies.scala

afp_site_gen.scala

afp_structure.scala

migration/

afp_migrate_metadata.scala

rAFP00c034528a4a

tools/afp_check_roots.scala

Loading...

tools/afp_dependencies.scala

Loading...

tools/afp_site_gen.scala

Loading...

tools/afp_structure.scala

Loading...

tools/hugo.scala

Loading...

tools/metadata.scala

Loading...

tools/migration/afp_migrate_metadata.scala

Loading...

tools/python.scala

Loading...

tools/toml.scala

Loading...

tools/utils.scala

Loading...