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/ScalaOptionParser.scala | |
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/ScalaOptionParser.scala')
0 files changed, 0 insertions, 0 deletions