directory /src/video/picogui/ @ 4414:2e253188dcd2 SDL-1.2-olpc

name size permissions
[up] drwxr-xr-x
file SDL_pgevents.c 3775 -rw-r--r--
file SDL_pgevents_c.h 1234 -rw-r--r--
file SDL_pgvideo.c 11036 -rw-r--r--
file SDL_pgvideo.h 1495 -rw-r--r--