diff options
author | 2016-05-03 16:47:50 -0500 | |
---|---|---|
committer | 2016-05-04 01:50:47 +0000 | |
commit | d6a779c41160f5ff50a6bfa2114bedcca12605e0 (patch) | |
tree | 597725fceb9ad5a05314f36c6fe2845214cffca5 /build-root/deb/debian/.gitignore | |
parent | 5657c5c80884d630731ddb1acc90c7a66b78b32c (diff) |
Fix for unattended in Makefile
Also works around verify
Change-Id: I79ac470ec3fa9943c3a0913ebfaaf91176eb9a81
Signed-off-by: Ed Warnicke <eaw@cisco.com>
Diffstat (limited to 'build-root/deb/debian/.gitignore')
0 files changed, 0 insertions, 0 deletions