diff options
author | 2018-04-06 13:07:35 +0200 | |
---|---|---|
committer | 2018-04-06 14:01:38 +0200 | |
commit | 5a03b686ab801d090093e455ad7947b627634470 (patch) | |
tree | 69743fd5b7a0a0ec88ee8fe8bf8b1d545733caaa /resources/tools/disk-image-builder | |
parent | 56710f7fbee321b2dd1f3fc01f3adfa407110ea6 (diff) |
Add .gitignore for files created by run_doc.sh
This is to prevent people who verify documentation locally
from accidentally contributing the generated files into gerrit.
Change-Id: I16d9993b9f7fd2652ea53661dd431c499b58db8e
Signed-off-by: Vratko Polak <vrpolak@cisco.com>
Diffstat (limited to 'resources/tools/disk-image-builder')
0 files changed, 0 insertions, 0 deletions