replace_dot_all.py: Replace sort_log_messages by print_log_messages

Commit

3 years ago

src/sage/misc/replace_dot_all.py: Replace sort_log_messages by print_log_messages

Author

mkoeppe

Parents