diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-10-13 08:15:02 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-10-13 08:15:02 +0200 |
| commit | c09c900922079be0314009719042a9fd08df798e (patch) | |
| tree | be01288ec82d6cd1c8fb16cf3145acb68540e76c /default.nix | |
| parent | eb1b6fbc97895356f2794927f81463d43c23c76a (diff) | |
implement deserialization logic for #5136
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions