diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2017-02-16 14:57:44 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2017-02-16 14:57:44 +0100 |
commit | 879029010979ebd27a110f860005eddd2e7e2dcd (patch) | |
tree | 8667b91ce80da48ee40cecbd329d4fbe7eee04a4 /scripts | |
parent | 6df672c7e7be65d7be1cd6524c610aed4f35178c (diff) | |
download | dotty-879029010979ebd27a110f860005eddd2e7e2dcd.tar.gz dotty-879029010979ebd27a110f860005eddd2e7e2dcd.tar.bz2 dotty-879029010979ebd27a110f860005eddd2e7e2dcd.zip |
Bootstrapped dotty should not depend on non-bootstrapped dotty-library
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions