diff libmpcodecs/ve.c @ 10185:d927b21b57c1

/usr/local/lib/codecs is now the default codecs directory.
author diego
date Sun, 25 May 2003 19:22:59 +0000
parents 6bf482d797b1
children 6afc2d6f5a08
line wrap: on
line diff