diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-10-23 10:38:38 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-10-23 10:38:38 +0200 |
| commit | 1f9131273dc0ac9811532a35349c6bd58711eb7e (patch) | |
| tree | 10ad0bcd2bd89275cd82c60c631bcacd82dafba6 /.gitignore | |
| parent | 5e56813d2d3cf8dc54850013c2f7dc41ec26d984 (diff) | |
| download | dotty-1f9131273dc0ac9811532a35349c6bd58711eb7e.tar.gz dotty-1f9131273dc0ac9811532a35349c6bd58711eb7e.tar.bz2 dotty-1f9131273dc0ac9811532a35349c6bd58711eb7e.zip | |
Indicate that dotty is being built.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions