-
Leigh B Stoller authored
This avoids a problem that Chrome will try to save to file, if there are control chars in the output (which there are on most of our consoles).
1cff2d8d
This avoids a problem that Chrome will try to save to file, if there are control chars in the output (which there are on most of our consoles).