diff options
author | Adriaan Moors <adriaan@lightbend.com> | 2017-02-07 17:50:05 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-07 17:50:05 -0800 |
commit | 5dbcea224de1133ea39ea1b4f24fbfb45fddad9e (patch) | |
tree | 55d957c1e2dcd74b26d2538673e0e5ec6e4cd10e /versions.properties | |
parent | 869416c7cc025d5f79565096cc2bbec81cb97e37 (diff) | |
parent | 702deae96d5dd035b349d2845286f0ec9fc6b4c2 (diff) | |
download | scala-5dbcea224de1133ea39ea1b4f24fbfb45fddad9e.tar.gz scala-5dbcea224de1133ea39ea1b4f24fbfb45fddad9e.tar.bz2 scala-5dbcea224de1133ea39ea1b4f24fbfb45fddad9e.zip |
Merge pull request #5669 from dwijnand/partest-glob-path
Make partest --grep glob paths, not just filenames
Diffstat (limited to 'versions.properties')
0 files changed, 0 insertions, 0 deletions