initial commit of the github pages
initial commit of the github pages
pull merge fix
no more problems with respect to serving the homepage of the library
fixed merge conflict
git is HELL