BathroomEpiphanies/costar_keyboard — pull request #7 by gioele (2014-09-28 19:55:26+00:00)
Title: Polish hw_interface

This is a set of mostly cosmetical changes to hw_interface, extracted to make the following documentation patches more precise and less conflict prone.