diff options
author | Martin Odersky <odersky@gmail.com> | 2015-02-23 13:44:37 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:14:09 +0100 |
commit | b32244b5b5e3a1209624966fce7073d2f5594f48 (patch) | |
tree | 335cecf1a0906ebe1e18d4cd87f2264c35457504 /src/dotty/tools/dotc/core/pickling/DottyUnpickler.scala | |
parent | 89c00f601678f58d0ddb424ffe680940f760eaeb (diff) | |
download | dotty-b32244b5b5e3a1209624966fce7073d2f5594f48.tar.gz dotty-b32244b5b5e3a1209624966fce7073d2f5594f48.tar.bz2 dotty-b32244b5b5e3a1209624966fce7073d2f5594f48.zip |
Add UUID to Tasty
Tasty files now always carry a random UUID.
Diffstat (limited to 'src/dotty/tools/dotc/core/pickling/DottyUnpickler.scala')
0 files changed, 0 insertions, 0 deletions