push_list


Description:

public void push_list (List list)