diff TOOLS/w32codec_dl.pl @ 34700:18b59e8fc751

Update German man page. Additionally, update date in English man page.
author ib
date Sat, 03 Mar 2012 17:38:58 +0000
parents 32725ca88fed
children
line wrap: on
line diff