diff options
| author | tv <tv@krebsco.de> | 2018-09-16 02:16:22 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2018-09-16 02:16:22 +0200 |
| commit | a690f0aeca7eb53c9757933607f3d3fdb64c7012 (patch) | |
| tree | 2b38edfbc5e17928540016f7b7c7a823a5e1ae91 /lib/types | |
| parent | 5cd8bd046e9f8e5f03453e3c49161a9901787649 (diff) | |
pkgs.krops: remove unused writeJSON
Last use was removed in commit ea08f87819291a21ee6e031fe7748bdb04518bab.
Diffstat (limited to 'lib/types')
0 files changed, 0 insertions, 0 deletions