mirror of
https://github.com/sbt/sbt.git
synced 2026-09-04 08:45:56 +02:00
Merge pull request #1154 from sbt/wip/merge-0.13.1-to-0.13
Merge doc fixes from 0.13.1 into 0.13 branch.
This commit is contained in:
Merge doc fixes from 0.13.1 into 0.13 branch.