diff DOCS/DXR3 @ 5957:94813c4807f3

gui vs. mencoder conflict workaround
author arpi
date Fri, 03 May 2002 22:05:46 +0000
parents 91d4b2745e9e
children 906f71d77191
line wrap: on
line diff