configure: remove old GUI-related options
[mplayer/greg.git] / DOCS / 
tree952520c8015460b9e17deba33531a94061d08417
drwxr-xr-x   ..
-rw-r--r-- 1001 README
-rw-r--r-- 106 default.css
drwxr-xr-x - man
drwxr-xr-x - tech
drwxr-xr-x - xml