diff options
author | 2016-01-17 09:02:04 +0000 | |
---|---|---|
committer | 2016-01-17 09:02:04 +0000 | |
commit | 02ada12260dccd2bcd372a7945719cc5bc817938 (patch) | |
tree | 5529acb470d1eaa3f19fdc058e2e853a32bb4e41 /.gitignore | |
parent | 135f289728091450aba7b10f55013bd18d2f45d3 (diff) | |
parent | f6173a3747975b83c219834174db52713e76560c (diff) |
Merge "updates to use new doc toolchain"
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..33a0451b --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +*~ +.*.sw? +/docs_build/ +/docs_output/ +/releng/ |