diff options
| author | Adriaan Moors <adriaan@lightbend.com> | 2016-09-26 16:26:18 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-26 16:26:18 -0700 |
| commit | 0245f373ce51eabd94463f9d7293c72fcf870593 (patch) | |
| tree | cb0b1df0d8fdc0d079fa95600d7c430ef33d617a /versions.properties | |
| parent | d35a7bde94b6c7b1626bd6085a646a352da7cee2 (diff) | |
| parent | 891353e709806a1f8a7005b1c65827dd6194f5a2 (diff) | |
| download | scala-0245f373ce51eabd94463f9d7293c72fcf870593.tar.gz scala-0245f373ce51eabd94463f9d7293c72fcf870593.tar.bz2 scala-0245f373ce51eabd94463f9d7293c72fcf870593.zip | |
Merge pull request #5414 from szeiger/wip/no-partest-in-pack
Do not build partest-javaagent and partest-extras for `pack`
See scala-dev#223
Diffstat (limited to 'versions.properties')
0 files changed, 0 insertions, 0 deletions