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 /bin | |
| 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 'bin')
0 files changed, 0 insertions, 0 deletions