Commit 9517e52
committed
Remote the docs directory
Realized that GitHub does not allow to change the source for GitHub
Pages for GitHub organization page. (The source is master branch)1 parent 3d863ce commit 9517e52
1 file changed
+0
-10
lines changedThis file was deleted.
0 commit comments