convert gpio to getput
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 23 Jul 2018 12:14:39 +0000 (13:14 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 23 Jul 2018 12:14:39 +0000 (13:14 +0100)
commitdc85aceb8b51272f48b9cf0b3059ae02124a1477
tree53b86106decea863206016b37658a6077015afa2
parent2749fd4ce80e0e34d263697c79ffd39ceb02b81c
convert gpio to getput
src/peripherals/gpio/gpio.bsv