From ddcc360d890bafd9086b1c943b225749c9b018b3 Mon Sep 17 00:00:00 2001 From: Luca Boccassi Date: Mon, 19 Feb 2018 11:28:43 +0000 Subject: Rename and update symbols file 17.11 -> 18.02 Change-Id: Ifdd2fc8182c1b2d0bbfee8339b95d17794fd3379 Signed-off-by: Luca Boccassi --- debian/librte-metrics17.11.symbols | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 debian/librte-metrics17.11.symbols (limited to 'debian/librte-metrics17.11.symbols') diff --git a/debian/librte-metrics17.11.symbols b/debian/librte-metrics17.11.symbols deleted file mode 100644 index ac9c68f6..00000000 --- a/debian/librte-metrics17.11.symbols +++ /dev/null @@ -1,9 +0,0 @@ -librte_metrics.so.17.11 librte-metrics17.11 #MINVER# - DPDK_17.05@DPDK_17.05 17.05 - rte_metrics_get_names@DPDK_17.05 17.05 - rte_metrics_get_values@DPDK_17.05 17.05 - rte_metrics_init@DPDK_17.05 17.05 - rte_metrics_reg_name@DPDK_17.05 17.05 - rte_metrics_reg_names@DPDK_17.05 17.05 - rte_metrics_update_value@DPDK_17.05 17.05 - rte_metrics_update_values@DPDK_17.05 17.05 -- cgit 1.2.3-korg