diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-03-01 15:41:35 +0100 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2016-03-01 15:41:35 +0100 |
commit | 0ae3ef2010b90bf06d76a768b0f0c5aa56c1180a (patch) | |
tree | 682c6d60d626062fc491c22704da9caba6434c8e /src | |
parent | 806ea749affd475f2e9fec66623dcef738bc61b3 (diff) | |
parent | acf05353a599de11e466b5e35cd003a2f6aa5312 (diff) | |
download | dotty-0ae3ef2010b90bf06d76a768b0f0c5aa56c1180a.tar.gz dotty-0ae3ef2010b90bf06d76a768b0f0c5aa56c1180a.tar.bz2 dotty-0ae3ef2010b90bf06d76a768b0f0c5aa56c1180a.zip |
Merge pull request #1135 from dotty-staging/add/more-memory-2
Build.scala: increase Jenkins max heap from 1.1G to 1.3G
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions