/plugins/consoles/common/bwins/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2010-12-07 17:29 +0000 35 console.def
-rw-r--r-- 2010-12-07 17:29 +0000 1153 consoleextensions.def