diff TOOLS/w32codec_dl.pl @ 35528:ab07b17fddfb

Rebuild GUI directory structure. Rename ui/gmplayer.h ui/ui.h.
author ib
date Thu, 06 Dec 2012 14:59:06 +0000
parents 32725ca88fed
children
line wrap: on
line diff