4 Commits

Author	SHA1	Message	Date
Ludwig Ortmann	c2b2e4554b	core/queue: queue -> priority_queue ... Rename queue to priority queue, because that's what it is.	2014-08-05 17:57:45 +02:00
Cenk Gündoğan	ca5b45e264	converting tabs to spaces in sys (#1439) ... This PR converts tabs to white spaces. The statement I used for the conversion: ```find . -name "*.[ch]" -exec zsh -c 'expand -t 4 "$0" > /tmp/e && mv /tmp/e "$0"' {} \;``` Afterwards, I had a quick overview of the converted files to prevent odd indentation.	2014-07-31 20:51:50 +02:00
René Kijewski	4032a22719	queue: add queue_t root type	2014-07-30 21:10:22 +02:00
Christian Mehlis	60feb7ea37	posix: move posix semaphore in posix module	2014-03-16 19:48:25 +01:00