diff options
author | Luca Boccassi <luca.boccassi@gmail.com> | 2017-08-16 18:55:35 +0100 |
---|---|---|
committer | Luca Boccassi <luca.boccassi@gmail.com> | 2017-08-23 14:48:10 +0100 |
commit | 1a14d5fe2eb50095fa1b24667fbafe8a4f98eaff (patch) | |
tree | 0bf7b73d2457c65d479704d102ded89eeaaaf584 /debian/librte-timer17.05.symbols | |
parent | 47dfa2125431961c1b7c4e5998c36a08cc46160c (diff) |
Update and rename symbol files
Change-Id: Ia31f3dcda093bacfb825a4f9dfb8349e10995eb4
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'debian/librte-timer17.05.symbols')
-rw-r--r-- | debian/librte-timer17.05.symbols | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/debian/librte-timer17.05.symbols b/debian/librte-timer17.05.symbols deleted file mode 100644 index 645acc67..00000000 --- a/debian/librte-timer17.05.symbols +++ /dev/null @@ -1,11 +0,0 @@ -librte_timer.so.17.05 librte-timer17.05 #MINVER# - DPDK_2.0@DPDK_2.0 16.04 - rte_timer_dump_stats@DPDK_2.0 16.04 - rte_timer_init@DPDK_2.0 16.04 - rte_timer_manage@DPDK_2.0 16.04 - rte_timer_pending@DPDK_2.0 16.04 - rte_timer_reset@DPDK_2.0 16.04 - rte_timer_reset_sync@DPDK_2.0 16.04 - rte_timer_stop@DPDK_2.0 16.04 - rte_timer_stop_sync@DPDK_2.0 16.04 - rte_timer_subsystem_init@DPDK_2.0 16.04 |