Remove 'get_' from Board getters
tree93418c0cd843e0aa596ee9bed64c2371d0f165be
-rw-r--r-- 47 AUTHORS
-rw-r--r-- 35147 COPYING
-rw-r--r-- 459 INSTALL.md
-rw-r--r-- 283 Makefile
-rw-r--r-- 1364 NEWS
-rw-r--r-- 2760 README.md
-rw-r--r-- 1537 configure.mk
drwxr-xr-x - src
drwxr-xr-x - test