diff options
| author | vsalvis <salvisbergvera@gmail.com> | 2015-05-11 13:45:49 +0200 |
|---|---|---|
| committer | vsalvis <salvisbergvera@gmail.com> | 2015-05-12 11:19:34 +0200 |
| commit | 7e3595d1f7efa34ef3ea2409529643cd8864e926 (patch) | |
| tree | d75e9a0204a4110d9e9649ced9dd8e45c06202c3 /.gitignore | |
| parent | ca3fc43bb3f9eb0068669acf6e64b3c6bd310511 (diff) | |
| download | dotty-7e3595d1f7efa34ef3ea2409529643cd8864e926.tar.gz dotty-7e3595d1f7efa34ef3ea2409529643cd8864e926.tar.bz2 dotty-7e3595d1f7efa34ef3ea2409529643cd8864e926.zip | |
Better documentation for partest dottyJar option
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions