diff libmpcodecs/vd_sgi.c @ 10187:f4e0b637ffc5

/usr/local/lib/codecs is now the default codecs directory.
author diego
date Sun, 25 May 2003 19:31:21 +0000
parents 87e03d96a4cd
children 8f3099900d8c
line wrap: on
line diff