Alex Phillips 858071c151 pipe-delimited is already 'standard' for the mods themselves, use that. Very unlikely a log file or path will have a pipe in the name

2021-12-17 10:57:17 -05:00

..

run

pipe-delimited is already 'standard' for the mods themselves, use that. Very unlikely a log file or path will have a pipe in the name

2021-12-17 10:57:17 -05:00