diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2019-09-09 19:58:15 +0200 |
|---|---|---|
| committer | Tobias Roeser <le.petit.fou@web.de> | 2019-09-09 19:58:15 +0200 |
| commit | f9a9991687d6aa70e50ff2ec5ad4d9e039b7f723 (patch) | |
| tree | 6a9a0dc4dcef369e3757abbab28ea7985616d101 /.gitignore | |
| parent | e6f6a9559b79cf6ade1a85b483119ee8b5b37abb (diff) | |
| download | mill-f9a9991687d6aa70e50ff2ec5ad4d9e039b7f723.tar.gz mill-f9a9991687d6aa70e50ff2ec5ad4d9e039b7f723.tar.bz2 mill-f9a9991687d6aa70e50ff2ec5ad4d9e039b7f723.zip | |
Properly support Dotty >= 0.18.1 (#682)
Dotty now uses the 2.13 standard library, so `withDottyCompat` needs to
use the correct suffix depending on the Dotty version.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions