diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-21 16:26:00 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-12-20 15:38:58 +0100 |
| commit | 5903fe35fada0f081334e933e6a5a182047d5d5f (patch) | |
| tree | 3c930cca25c10cf7ae98afec1bc66895be85614d /docs | |
| parent | d3a31d3c30c08939a6d8a6f1ae1a93826eb0cc9d (diff) | |
| download | dotty-5903fe35fada0f081334e933e6a5a182047d5d5f.tar.gz dotty-5903fe35fada0f081334e933e6a5a182047d5d5f.tar.bz2 dotty-5903fe35fada0f081334e933e6a5a182047d5d5f.zip | |
Allow unpickler to be accessible after FromTasty
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions