diff options
Diffstat (limited to 'debian/librte-timer18.02.symbols')
| -rw-r--r-- | debian/librte-timer18.02.symbols | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/debian/librte-timer18.02.symbols b/debian/librte-timer18.02.symbols deleted file mode 100644 index adcb203c..00000000 --- a/debian/librte-timer18.02.symbols +++ /dev/null @@ -1,11 +0,0 @@ -librte_timer.so.18.02 librte-timer18.02 #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 |