diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2018-12-19 13:24:51 -0800 |
|---|---|---|
| committer |   Ole Trøan <otroan@employees.org> | 2018-12-20 10:06:36 +0000 |
| commit | 57f170bdf9967e3f8ea6e937a70c7f86187f95a2 (patch) | |
| tree | c3c9c837dfe7d51bd3e5b8ab6f646294d2db217b /src/svm | |
| parent | fe820689cf56e894ae5fa38f33a48b6960038033 (diff) | |
Build issue after https://gerrit.fd.io/r/#/c/16508/.
CI passes without this.
Change-Id: Iba542211e7b7b0e43c87a293b63a320b511c3d40
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'src/svm')
0 files changed, 0 insertions, 0 deletions