[riot-devel] [RIOT] rename kernel_intern.h (#71)

LudwigOrtmann notifications at github.com
Wed Jul 17 20:55:30 CEST 2013


Merged #71.

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


More information about the devel mailing list