diff options
author | Magdalena Grodzińska <mag.grodzinska@gmail.com> | 2020-01-12 16:38:03 +0100 |
---|---|---|
committer | Magdalena Grodzińska <mag.grodzinska@gmail.com> | 2020-01-12 16:38:03 +0100 |
commit | e01887358628321b423dbbc5be5bc5d7e2504d99 (patch) | |
tree | 601da8499d17b4656f08432b3bc134e5d89b7c36 /src/pl/edu/mimuw | |
parent | f2841b8bfe142a2d6643cfe9bb9aca99cb8f6d23 (diff) |
Fix type collection serialization
Diffstat (limited to 'src/pl/edu/mimuw')
0 files changed, 0 insertions, 0 deletions