INIT: initial commit on gh-pages branch
deleting the public
Squashed 'public/' content from commit 56446cc

git-subtree-dir: public
git-subtree-split: 56446cc4b52aee385c7d68c0602c17077b382276
Merge commit 'f7a300ef47d2a7af631478c8359b54f67d68cee3' as 'public'
Merge commit '56446cc4b52aee385c7d68c0602c17077b382276'
Updating website