git checkout --track correction
tree0e62593ee77197b72c528cb8df2a1c6874be3d1f
-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-- 14541 index.html
drwxr-xr-x - stylesheets
-rwxr-xr-x 723 update.sh