Commit 86d4f2c
committed
build: remove public docs script
We no longer publish docs to github wiki, therefore this script is now redundant.1 parent 657c9d9 commit 86d4f2c
1 file changed
Lines changed: 0 additions & 102 deletions
This file was deleted.
0 commit comments