Changes to add login/logout button to the right-hand top corner of every page
tree95606c4df5105344927546789373ee23988c746b
-rw-r--r-- 87636 CHANGES
-rw-r--r-- 919 README.txt
-rw-r--r-- 1310 UPGRADING.txt
drwxr-xr-x - admin
-rw-r--r-- 3738 config-dist.php
drwxr-xr-x - course
drwxr-xr-x - doc
drwxr-xr-x - error
-rw-r--r-- 1358 file.php
drwxr-xr-x - files
-rw-r--r-- 1379 help.php
-rw-r--r-- 4288 index.php
drwxr-xr-x - lang
drwxr-xr-x - lib
drwxr-xr-x - login
drwxr-xr-x - mod
drwxr-xr-x - pix
drwxr-xr-x - theme
drwxr-xr-x - user
-rw-r--r-- 1742 version.php