diff options
| author | Peter Michael Green <plugwash@debian.org> | 2021-01-28 20:18:56 +0000 |
|---|---|---|
| committer | Peter Michael Green <plugwash@debian.org> | 2021-01-28 20:18:56 +0000 |
| commit | f44ff825f6955d6531b13ed21ac44a3e17aeb192 (patch) | |
| tree | a03d6daa176090106c3050253a754fb71647e6c2 /DOC/HTML | |
| parent | 07948354931d7485dc8b91476fa328a2bd3448b7 (diff) | |
Fix detection of whether or not the system is a raspberry pi.
Diffstat (limited to 'DOC/HTML')
0 files changed, 0 insertions, 0 deletions