diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2015-05-27 20:47:17 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dark@d-d.me> | 2015-05-27 20:47:17 +0200 |
| commit | 2bfbb8ecd20954841069efda4950d833fb3bfcee (patch) | |
| tree | ab4d70712c1dba2246c337b6d54e094d6e76cb87 /bin | |
| parent | 996ad361430d67fc77a81a49df52da2a6b30eba4 (diff) | |
| parent | 574be04ee3bb8a0c29691b5075ab606193376008 (diff) | |
| download | dotty-2bfbb8ecd20954841069efda4950d833fb3bfcee.tar.gz dotty-2bfbb8ecd20954841069efda4950d833fb3bfcee.tar.bz2 dotty-2bfbb8ecd20954841069efda4950d833fb3bfcee.zip | |
Merge pull request #610 from lampepfl/DarkDimius-patch-1
Show be more verbose when running partest on Jenkins
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions