Re-add docs

pull/21833/head
Travis Ralston 2020-01-07 15:13:42 -07:00
parent 69424f4b42
commit 9213f88180
1 changed files with 1 additions and 0 deletions

View File

@ -14,6 +14,7 @@
"src", "src",
"scripts", "scripts",
"git-revision.txt", "git-revision.txt",
"docs",
"header", "header",
"CHANGELOG.md", "CHANGELOG.md",
"CONTRIBUTING.rst", "CONTRIBUTING.rst",