Skip to content

Commit 4660248

Browse files
committed
Fix docs build: add execute permission to build_docs.sh
1 parent 66e0e09 commit 4660248

File tree

1 file changed

+0
-0
lines changed

1 file changed

+0
-0
lines changed

docs/build_docs.sh

100644100755
File mode changed.

0 commit comments

Comments
 (0)