directory /win32-mingw/include/ogg/ @ 169:223a55898ab9 tip default

name size permissions
[up] drwxr-xr-x
file config_types.h 505 -rw-r--r--
file ogg.h 8433 -rw-r--r--
file os_types.h 4275 -rw-r--r--