diff options
author | 2018-02-19 11:28:43 +0000 | |
---|---|---|
committer | 2018-02-19 11:33:07 +0000 | |
commit | ddcc360d890bafd9086b1c943b225749c9b018b3 (patch) | |
tree | 5c0431affc9262ba283e3f6c42e684a84fcfa758 /debian/librte-pmd-ark17.11.symbols | |
parent | 9fa5ca7c2e9724a975b3c5d55ea4ea19b25585ac (diff) |
Rename and update symbols file 17.11 -> 18.02
Change-Id: Ifdd2fc8182c1b2d0bbfee8339b95d17794fd3379
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'debian/librte-pmd-ark17.11.symbols')
-rw-r--r-- | debian/librte-pmd-ark17.11.symbols | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/librte-pmd-ark17.11.symbols b/debian/librte-pmd-ark17.11.symbols deleted file mode 100644 index 673cda97..00000000 --- a/debian/librte-pmd-ark17.11.symbols +++ /dev/null @@ -1,4 +0,0 @@ -librte_pmd_ark.so.17.11 librte-pmd-ark17.11 #MINVER# - DPDK_17.05@DPDK_17.05 17.05 -# INFO: this library exports no symbols, essentially it is a driver that -# registers itself on load and is then only driven by callbacks. |