diff configure @ 5957:94813c4807f3

gui vs. mencoder conflict workaround
author arpi
date Fri, 03 May 2002 22:05:46 +0000
parents 70b326241d52
children 0121a13ac60c
line wrap: on
line diff