convert gpio to getput
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 23 Jul 2018 12:18:33 +0000 (13:18 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 23 Jul 2018 12:18:33 +0000 (13:18 +0100)
commite0ee566a4f507c76528d542788f420d6c5aa34af
tree00fb960b03291c242b68f7e34b366e76d0acdb4d
parent6ba885cd9cf6a04e45447b97e09f08469edd14ce
convert gpio to getput
src/peripherals/gpio/gpio.bsv