Darcs-Git: Remove; mostly dead project and not that interesting
tree7a30f18d4fff4ba72b767e5f4d9518d1251760dc
-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-- 16802 index.html
drwxr-xr-x - stylesheets
-rwxr-xr-x 780 update.sh