diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2022-10-04 23:48:44 -0400 |
|---|---|---|
| committer | Dave Wallace <dwallacelf@gmail.com> | 2022-10-07 18:54:15 +0000 |
| commit | 61bae8a54d14899337b0d0a7ca9b9367f6321951 (patch) | |
| tree | ea7c5b12baf61fb609a9b3422cf6416f8d33cbed /docs/aboutvpp/developer.rst | |
| parent | 582c81e68622d44200406137d261688adde0aed9 (diff) | |
build: retain dpdk_mlx_default setting for ci scriptv22.10-rc2
- tell git to ignore all build/external generated files
Type: make
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Change-Id: I4af26a76a0248939366cd09b577d422af801c0c3
(cherry picked from commit 14b118b4c7f5bd3927af48010092c5313884fbb2)
Diffstat (limited to 'docs/aboutvpp/developer.rst')
0 files changed, 0 insertions, 0 deletions