Closed lemzwerg closed 1 year ago
This helps if the console output is diverted to a file and later printed within a verbatim environment, for example.
Thank you!
This helps if the console output is diverted to a file and later printed within a verbatim environment, for example.