More clear headlines
treef32feb709dd6be28cd3b48a2c5533a3ddae830b0
-rw-r--r-- 18787 COPYING
drwxr-xr-x - cogito
drwxr-xr-x - course
-rw-r--r-- 164 favicon.png
-rw-r--r-- 275 git-logo.png
-rw-r--r-- 16890 index.html
drwxr-xr-x - stylesheets
-rwxr-xr-x 780 update.sh