Skip to content
v1.4.2
Jens Getreu's avatar
Jens Getreu
@getreu
71a8fb68 · Mission outsourced, new option: --print-file-name · 
new option: --print-file-name, do not abort when not readable

- New option: --print-file-name: Print the name of the file before each string.

- When one of the input files is not readable, skip with a warning
  and continue.