Fix detection of whether or not the system is a raspberry pi.
authorPeter Michael Green <plugwash@debian.org>
Thu, 28 Jan 2021 20:18:56 +0000 (20:18 +0000)
committerPeter Michael Green <plugwash@debian.org>
Thu, 28 Jan 2021 20:18:56 +0000 (20:18 +0000)
commitf44ff825f6955d6531b13ed21ac44a3e17aeb192
treea03d6daa176090106c3050253a754fb71647e6c2
parent07948354931d7485dc8b91476fa328a2bd3448b7
Fix detection of whether or not the system is a raspberry pi.
pigpio.c