Christian Prochaska d4499cba41 libc_noux: return the new file descriptor in 'dup2()' ... Fixes #369.		2012-09-28 17:05:22 +02:00
..
plugin.cc	libc_noux: return the new file descriptor in 'dup2()'	2012-09-28 17:05:22 +02:00
target.mk	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00