diff options
author | Chris Johns <chrisj@rtems.org> | 2017-09-13 22:33:51 +0000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-09-13 22:33:51 +0000 |
commit | 8b4a1da1bc153bec21417f378ecdd563c96741bc (patch) | |
tree | 17493517a351e5174a7603f26ac9a9972f59c360 | |
parent | 1892d79d1cec971aa33c3c26308abf515d27c869 (diff) |
Ignore build output.
-rw-r--r-- | docs/builder/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/builder/.gitignore b/docs/builder/.gitignore new file mode 100644 index 0000000..5522d57 --- /dev/null +++ b/docs/builder/.gitignore @@ -0,0 +1,2 @@ +docs_builder +latest |