diff version.sh @ 5957:94813c4807f3

gui vs. mencoder conflict workaround
author arpi
date Fri, 03 May 2002 22:05:46 +0000
parents 142e0fa289d4
children a49219323787
line wrap: on
line diff