directory /src/video/picogui/ @ 1938:861893943d53

name size permissions
[up] drwxr-xr-x
file SDL_pgevents.c 3835 -rw-r--r--
file SDL_pgevents_c.h 1268 -rw-r--r--
file SDL_pgvideo.c 11875 -rw-r--r--
file SDL_pgvideo.h 1529 -rw-r--r--