diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2016-11-16 15:45:44 +1000 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2016-11-16 16:33:19 +1000 |
| commit | 98c1f107caad5d5d558e33837023e55b71bb59ea (patch) | |
| tree | 717ccce3e9f79777e9a45dee4a7a2ac3fa46c586 /project/build.properties | |
| parent | 24043cab73ab99b39a1c5ed83a73f54ba41b2324 (diff) | |
| download | scala-98c1f107caad5d5d558e33837023e55b71bb59ea.tar.gz scala-98c1f107caad5d5d558e33837023e55b71bb59ea.tar.bz2 scala-98c1f107caad5d5d558e33837023e55b71bb59ea.zip | |
Workaround a bug that rendered MiMa inoperative
MiMa has been off-duty because of a bug in handling the default
value of the new paramter `--direction`.
This commit explicitly provides this parameter to get things
working again post haste.
Fixes scala/scala-dev#264
Diffstat (limited to 'project/build.properties')
0 files changed, 0 insertions, 0 deletions