diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-04-13 10:10:14 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-04-13 11:02:30 +0200 |
| commit | 64db05bc9aa5e82e68209ec4f72b1f87279c8c3a (patch) | |
| tree | 68c82c2d536c0610e1421dbd2d24502fa6ac1e95 /doc-tool | |
| parent | 7e33bc4c11ffc5e6ecc6fb7bcbfd54c497db2c02 (diff) | |
| download | dotty-64db05bc9aa5e82e68209ec4f72b1f87279c8c3a.tar.gz dotty-64db05bc9aa5e82e68209ec4f72b1f87279c8c3a.tar.bz2 dotty-64db05bc9aa5e82e68209ec4f72b1f87279c8c3a.zip | |
Fix #2244: make sure logging goes through appropriate interface
Diffstat (limited to 'doc-tool')
0 files changed, 0 insertions, 0 deletions