aboutsummaryrefslogtreecommitdiffstats
path: root/resources/tools/disk-image-builder
diff options
context:
space:
mode:
authorVratko Polak <vrpolak@cisco.com>2018-04-06 13:07:35 +0200
committerVratko Polak <vrpolak@cisco.com>2018-04-06 14:01:38 +0200
commit5a03b686ab801d090093e455ad7947b627634470 (patch)
tree69743fd5b7a0a0ec88ee8fe8bf8b1d545733caaa /resources/tools/disk-image-builder
parent56710f7fbee321b2dd1f3fc01f3adfa407110ea6 (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