diff options
| author | tv <tv@krebsco.de> | 2020-10-15 14:38:36 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2020-10-15 15:08:25 +0200 |
| commit | acdb2bea876aaadf30430e2ea3cbef62808ca24c (patch) | |
| tree | 16024b7a128394399271208dd20cc4b5d0b2cabb /tv/5pkgs/rpi/433Utils/RPi_utils.codesend.codestring.patch | |
| parent | 83bcb46ce98ba3ec07b2208a82b05116352ec602 (diff) | |
lib.mapNixDir1: prefix names starting with a digit
Diffstat (limited to 'tv/5pkgs/rpi/433Utils/RPi_utils.codesend.codestring.patch')
0 files changed, 0 insertions, 0 deletions