diff options
author | Martin Odersky <odersky@gmail.com> | 2015-04-25 10:08:51 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-04-25 10:08:51 +0200 |
commit | d94f0b8d7b2bc06c0f0642a714f7940d2f2a9348 (patch) | |
tree | 7a329e001122ed6ea6e4580344489ea70a3975e2 /AUTHORS.md | |
parent | 2cab739534ba259efbfabffd417250930e7700a2 (diff) | |
download | dotty-d94f0b8d7b2bc06c0f0642a714f7940d2f2a9348.tar.gz dotty-d94f0b8d7b2bc06c0f0642a714f7940d2f2a9348.tar.bz2 dotty-d94f0b8d7b2bc06c0f0642a714f7940d2f2a9348.zip |
Change name of TASTY attribute to TASTY
It does not matter whether it comes from Dotty or elsewhere. We can record the
name of the producer in a section of the format itself.
Diffstat (limited to 'AUTHORS.md')
0 files changed, 0 insertions, 0 deletions