RIOT-OS/RIOT — pull request #71 by mehlis (2013-07-16 14:53:10+00:00)
Title: rename kernel_intern.h

german "intern" to english "internal"