mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
Kaspar Schleiser
1d5e2e9cd9
Automatically removed using: $ git grep -l kernel_types | xargs sed -i '/^#include .kernel_types/d' |
||
---|---|---|
.. | ||
include | ||
inet | ||
pthread | ||
select | ||
semaphore | ||
sleep | ||
sockets | ||
doc.txt |