RIOT-OS/boards — pull request #14 by mehlis (2013-07-18 14:07:57+00:00)
Title: rename kernel_intern.h

german "intern" to english "internal"