diff options
| author | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-03-23 15:14:48 +0100 |
|---|---|---|
| committer | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-03-23 15:34:20 +0100 |
| commit | 598705e8d251a348bbfb12c59fe55e04fc11bac2 (patch) | |
| tree | 005c5679615d053a7aa25e27eae32fc9bf3bf835 /docs | |
| parent | 5fd7a9503e44b8e95c0ca5aa4366270a3cd90155 (diff) | |
| download | dotty-598705e8d251a348bbfb12c59fe55e04fc11bac2.tar.gz dotty-598705e8d251a348bbfb12c59fe55e04fc11bac2.tar.bz2 dotty-598705e8d251a348bbfb12c59fe55e04fc11bac2.zip | |
Add a warning and instructions for new users.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions