mirror of
https://github.com/sbt/sbt.git
synced 2026-09-04 08:45:56 +02:00
This is used only by sbt, and we are not sure if it needs to be part of the API
This is used only by sbt, and we are not sure if it needs to be part of the API