Add new entry in Release_Notes.

[simgrid.git] / docs / ignored_symbols

diff --git a/docs/ignored_symbols b/docs/ignored_symbols
deleted file mode 100644 (file)
index f8f9244..0000000
--- a/docs/ignored_symbols
+++ /dev/null
@@ -1,18 +0,0 @@
-# Used by Build.sh
-MIN
-MAX
-SG_BEGIN_DECL
-msg_as_t
-MSG_OK
-MSG_HOST_FAILURE
-MSG_TASK_CANCELED
-MSG_TIMEOUT
-MSG_TRANSFER_FAILURE
-sg_msg_Comm
-simdata_task_t
-s_msg_task_t
-MSG_init_nocheck
-intrusive_ptr_release
-intrusive_ptr_add_ref
-get_filtered_netzones_recursive
-simgrid::s4u::Storage
\ No newline at end of file