diff options
author | Ed Warnicke <hagbard@gmail.com> | 2016-11-22 17:57:30 +0000 |
---|---|---|
committer | Damjan Marion <dmarion.lists@gmail.com> | 2016-11-29 17:35:44 +0000 |
commit | ddff8a4ee423cf76b14278edee75d5fa369300c0 (patch) | |
tree | 812dcb6e2b33f55d3c2cd7b66a22c4797656e996 /.gitignore | |
parent | cfce8fa44378cb6843a8e9f5bb6aff8dd5fc5cf7 (diff) |
Have make verify check deb and rpm builds
Change-Id: I7fe3558118835240ecd155609821f9de2d609553
Signed-off-by: Ed Warnicke <hagbard@gmail.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions