diff options
author | Damjan Marion <damarion@cisco.com> | 2016-07-06 22:52:49 +0200 |
---|---|---|
committer | Chris Luke <chris_luke@comcast.com> | 2016-07-06 22:56:56 +0000 |
commit | 137c7c612641b5056bc20e64e8ef75df0c775629 (patch) | |
tree | f335a43352f6c9e56078327cd059ea09e3bcf9ac /vppinfra/Make.defs | |
parent | 3d9c86e9f70892c82c11530e0db7db78b7e6ce21 (diff) |
Retire PLATFORM=virl
Change-Id: Iaf9735258f456574534c1a581b983326badea171
Signed-off-by: Damjan Marion <damarion@cisco.com>
Diffstat (limited to 'vppinfra/Make.defs')
0 files changed, 0 insertions, 0 deletions