[riot-devel] [boards] rename kernel_intern.h (#14)

LudwigOrtmann notifications at github.com
Thu Jul 18 16:25:09 CEST 2013


Merged #14.

---
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/boards/pull/14
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/devel/attachments/20130718/996d4c13/attachment-0001.html>


More information about the devel mailing list