convert gpio to getput
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 23 Jul 2018 12:15:08 +0000 (13:15 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 23 Jul 2018 12:15:08 +0000 (13:15 +0100)
commit9822125ef85fc9129624e46eacf188ac49dcd992
treef34a15007990fcf4382f3df73c8f973b2e1e3db3
parentdc85aceb8b51272f48b9cf0b3059ae02124a1477
convert gpio to getput
src/peripherals/gpio/gpio.bsv