directory /DOCS/German/ @ 6381:e5e288512d8f

name size permissions
[up] drwxr-xr-x
file bugreports.html 7459 -rw-r--r--
file cd-dvd.html 8201 -rw-r--r--
file codecs.html 19397 -rw-r--r--
file documentation.html 84059 -rw-r--r--
file encoding.html 21885 -rw-r--r--
file faq.html 51367 -rw-r--r--
file formats.html 12179 -rw-r--r--
file mplayer.1 50646 -rw-r--r--
file sound.html 15632 -rw-r--r--
file video.html 56804 -rw-r--r--