Skip to content

Commit 1d51c87

Browse files
authored
Merge pull request #712 from pedro-psb/rename-docs-dir
Rename staging_docs to docs
2 parents 342332c + 04eaaf6 commit 1d51c87

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

41 files changed

+1
-1216
lines changed

docs/Makefile

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

docs/_scripts/add_content_repo.sh

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

docs/_scripts/artifact.sh

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

docs/_scripts/autoupdate.sh

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

docs/_scripts/base.sh

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

docs/_scripts/clean.sh

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

docs/_scripts/distribution.sh

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

docs/_scripts/index.sh

Lines changed: 0 additions & 1 deletion
This file was deleted.

docs/_scripts/pip.sh

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

docs/_scripts/publication.sh

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

0 commit comments

Comments
 (0)