diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-04-06 15:34:09 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-11 09:33:12 +0200 |
| commit | 800b1ad042044d8902c76fe353f7adf0491b5f20 (patch) | |
| tree | 27a99202c4b2922ef4e7f6d3f9ce58f4e6a819be /.gitattributes | |
| parent | b17af4b7abfa1de2a0099329a7e7148cabafbab0 (diff) | |
| download | dotty-800b1ad042044d8902c76fe353f7adf0491b5f20.tar.gz dotty-800b1ad042044d8902c76fe353f7adf0491b5f20.tar.bz2 dotty-800b1ad042044d8902c76fe353f7adf0491b5f20.zip | |
Fix pickling/unpickling of names
Running the test suite with the pickling printer on showed up two more
problems which are fixed in this commit.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions