Skip to content

Add library.properties to resources of scala-library jars#24332

Merged
WojciechMazur merged 2 commits intoscala:mainfrom
zielinsky:i22144
Nov 6, 2025
Merged

Add `library.properties` to resources of scala-library jars#24332
WojciechMazur merged 2 commits intoscala:mainfrom
zielinsky:i22144

Commits

Commits on Nov 4, 2025

Commits on Nov 5, 2025