diff options
author | 2017-10-02 07:27:13 +0000 | |
---|---|---|
committer | 2017-10-02 07:27:13 +0000 | |
commit | 869ae6cb904098b53da9bba010b1a9c95749c05d (patch) | |
tree | 81ec3f22992271b05f63ddf68a894d3e0090d8d4 /.gitignore | |
parent | 1691ce30b5bb71c07dd31c1aaaea73cd6418b395 (diff) | |
parent | c08b543c2a85a370ba51d1fbb8551d703d20fc06 (diff) |
Merge "Update .gitignore for documentation"
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -41,3 +41,7 @@ job_output/ *.sha256.txt build.log *.d/ +_static/ +conf.py +*.html +html/ |