diff options
author | Tobias Roeser <le.petit.fou@web.de> | 2019-09-20 22:03:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-20 22:03:35 +0200 |
commit | 0de4e890201315458cb438f933179afafc780f94 (patch) | |
tree | 8f83f035ad3e86799718427f9f379ede90e3103a /ci | |
parent | 3e043133d6c19887ed137bb9988596a5d664d8c8 (diff) | |
download | mill-0de4e890201315458cb438f933179afafc780f94.tar.gz mill-0de4e890201315458cb438f933179afafc780f94.tar.bz2 mill-0de4e890201315458cb438f933179afafc780f94.zip |
Use a dedicated path/target for idea compiler output (#694)
* Use a dedicated path/target for idea compiler output
Fixes https://github.com/lihaoyi/mill/issues/693
* Fixed xml generator and test cases
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions