diff options
author | Paul Phillips <paulp@improving.org> | 2013-01-20 00:24:10 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-01-20 00:24:10 -0800 |
commit | 262c8ee65a2606556b9e0919991a72c60ffe37ab (patch) | |
tree | 7c538940865e2e2fec9caa5b716d4b2b0afd15b4 /push-binary-libs.sh | |
parent | d7b59f452f5fa35df48a5e0385f579c98ebf3555 (diff) | |
parent | 5d59fb9b73184afcfa6257347080a8493aae6681 (diff) | |
download | scala-262c8ee65a2606556b9e0919991a72c60ffe37ab.tar.gz scala-262c8ee65a2606556b9e0919991a72c60ffe37ab.tar.bz2 scala-262c8ee65a2606556b9e0919991a72c60ffe37ab.zip |
Merge pull request #1926 from gkossakowski/disable-mima-in-master
Disable MIMA in master.
Diffstat (limited to 'push-binary-libs.sh')
0 files changed, 0 insertions, 0 deletions