diff options
Diffstat (limited to 'translate/grt/grt.ver')
-rw-r--r-- | translate/grt/grt.ver | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/translate/grt/grt.ver b/translate/grt/grt.ver deleted file mode 100644 index 031c207..0000000 --- a/translate/grt/grt.ver +++ /dev/null @@ -1,25 +0,0 @@ -{ - global: -vpi_free_object; -vpi_get; -vpi_get_str; -vpi_get_time; -vpi_get_value; -vpi_get_vlog_info; -vpi_handle; -vpi_handle_by_index; -vpi_iterate; -vpi_mcd_close; -vpi_mcd_name; -vpi_mcd_open; -vpi_put_value; -vpi_register_cb; -vpi_register_systf; -vpi_remove_cb; -vpi_scan; -vpi_vprintf; -vpi_printf; - local: - *; -}; - |