new option for user specific files
Although we did not fully design the option interface, this would allow users to fix their problems for use specific files. This relates to issue #389 (closed)
Although we did not fully design the option interface, this would allow users to fix their problems for use specific files. This relates to issue #389 (closed)