diff options
| author | Nadrieril Feneanar | 2019-12-20 19:48:58 +0000 |
|---|---|---|
| committer | GitHub | 2019-12-20 19:48:58 +0000 |
| commit | ce428c5512314c524535794bd89f95043fe7c221 (patch) | |
| tree | c542ad7bfce433a4446bf50794e934de74aadd06 /dhall/src | |
| parent | de0dd59204e979e29445d634a0739394110261ef (diff) | |
| parent | 6d2c56cc13303ddea6b7f46d5d34659c6c558d19 (diff) | |
Merge pull request #119 from Nadrieril/seal-trait
Seal `Deserialize` trait
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions