Fix for bug fix #2677: Highlighting of current page in workspaces was not de-highligh...
-rw-r--r-- 1565 CVSreadme.txt
-rwxr-xr-x 211135 ChangeLog
-rwxr-xr-x 18007 GPL.txt
-rwxr-xr-x 465 LICENSE.txt
-rw-r--r-- 7033 NEWS.txt
-rw-r--r-- 2780 index.php
drwxr-xr-x - misc
drwxr-xr-x - t3lib
drwxr-xr-x - typo3