diff options
| author | David Biancolin | 2019-11-05 08:58:13 -0700 |
|---|---|---|
| committer | GitHub | 2019-11-05 08:58:13 -0700 |
| commit | 543c7658faea82f6b7d4f3c7dacb58b17cbd02c9 (patch) | |
| tree | ec0c3eba1789733087a2020fd17ea083957e5d34 /scripts | |
| parent | 0d7defc81b02c41e416237ad226adc5f1ab0f8f2 (diff) | |
| parent | cae20ae9ff51e7ebc2151b4f88853d3ac3859f65 (diff) | |
Merge pull request #1211 from freechipsproject/serialization-utils
Supply a trait to allow user annotations to provide JsonProtocol type hints
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions