diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-09-13 01:14:31 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-09-13 01:14:31 +0200 |
| commit | 6d7645a99b523cb36d692de3e8d3bc80ddd8f21f (patch) | |
| tree | d0b23e25e23654eeae3878530190f6700ab9f707 /default.nix | |
| parent | bf3d34efb6d0ce5d1bd9ec572dcada5681f97cf8 (diff) | |
theoretically finished implementation of #4840 (/keys cherry picking), but by far not done testing
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions