Socket: Fix dynamic_socket_cast() / check_socket_cast() to support crosscasts
[senf.git] / senfscons / CopyToDir.py
2007-08-08 g0dil PPI: Checkin of first compiling (yet not working) version