diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2016-11-14 17:52:32 +0100 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-11-22 01:35:07 +0100 |
| commit | cc56d3d977eab5fa88f0a1b0ced5bd4f99accae9 (patch) | |
| tree | 9a481d574423c00f9f517cc5237c21cdb2524eed /README.md | |
| parent | 8488557471dd6b75dcaec73e843c2115e59241cd (diff) | |
| download | dotty-cc56d3d977eab5fa88f0a1b0ced5bd4f99accae9.tar.gz dotty-cc56d3d977eab5fa88f0a1b0ced5bd4f99accae9.tar.bz2 dotty-cc56d3d977eab5fa88f0a1b0ced5bd4f99accae9.zip | |
Fix partest commands
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions