Christian Prochaska 250fd42368 SDL: use libc time functions ... Fixes #2415		2017-05-31 13:16:19 +02:00
..
SDL_config_genode.h	SDL: use libc time functions	2017-05-31 13:16:19 +02:00
SDL_config.h	libports: migrate to new ports mechanism	2014-05-27 11:14:42 +02:00