diff options
| author | liu fengyun <liu@fengy.me> | 2017-04-04 13:00:15 +0200 |
|---|---|---|
| committer | liu fengyun <liu@fengy.me> | 2017-04-04 23:17:11 +0200 |
| commit | 9191d636138a025c9967c11e37900dacf0bab1c2 (patch) | |
| tree | f7db6292f6b1a298a58877124f85a94d24369cc1 /README.md | |
| parent | a71cb970b779692d2dd68cd9ba00d2be5e6759be (diff) | |
| download | dotty-9191d636138a025c9967c11e37900dacf0bab1c2.tar.gz dotty-9191d636138a025c9967c11e37900dacf0bab1c2.tar.bz2 dotty-9191d636138a025c9967c11e37900dacf0bab1c2.zip | |
fix #2166: unpickling of shared CaseDef
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions