Skip to content

Commit 9517e52

Browse files
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

File tree

1 file changed

+0
-10
lines changed

1 file changed

+0
-10
lines changed

docs/index.html

Lines changed: 0 additions & 10 deletions
This file was deleted.

0 commit comments

Comments
 (0)