diff options
author | Martin Odersky <odersky@gmail.com> | 2016-03-17 14:55:58 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-03-18 12:22:46 +0100 |
commit | 57bde5b5c31b76c687649848bbe2207ebeb7a57d (patch) | |
tree | 793a6633ca50a9e1ead2522e9be4f3a5f2b3b452 /AUTHORS.md | |
parent | c938f00ad86dc526c46f30c6c8465552cc12b44b (diff) | |
download | dotty-57bde5b5c31b76c687649848bbe2207ebeb7a57d.tar.gz dotty-57bde5b5c31b76c687649848bbe2207ebeb7a57d.tar.bz2 dotty-57bde5b5c31b76c687649848bbe2207ebeb7a57d.zip |
Get rid of prompt in Driver
It's used only in Resident, where it should be defined.
Diffstat (limited to 'AUTHORS.md')
0 files changed, 0 insertions, 0 deletions