Merge pull request #24 from whoopnip/fix-doc-build

Add execute permissions to scripts for building docs
nickderobertis · Dec 9, 2019 · 07d22aa · 07d22aa
2 parents 1f286d8 + a8c8cf0
commit 07d22aa
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/docsrc/binder_requirements.sh b/docsrc/binder_requirements.sh
diff --git a/docsrc/nb-examples.sh b/docsrc/nb-examples.sh