write_known_symbols_note


Description:

private void write_known_symbols_note (Collection<Node> nodes2, Node container, string headline)