diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-04-18 17:43:40 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-08 21:48:08 +0200 |
| commit | 9203e01ddd141ddbb96e3064be5e894ddb666fd8 (patch) | |
| tree | e3de1ec438114c366e4c28ed9cb46c5df94e4deb /.gitignore | |
| parent | 861f10b72e2a6332f8919f6880604bdc49cc3bca (diff) | |
| download | dotty-9203e01ddd141ddbb96e3064be5e894ddb666fd8.tar.gz dotty-9203e01ddd141ddbb96e3064be5e894ddb666fd8.tar.bz2 dotty-9203e01ddd141ddbb96e3064be5e894ddb666fd8.zip | |
Some more debug info.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions