replace_dot_all.py: Restore print_log_messages lost in previous commit

Commit

3 years ago

src/sage/misc/replace_dot_all.py: Restore print_log_messages lost in previous commit

Author

mkoeppe

Parents