You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
privatestaticfinalStringOUTPUT_FILE_EXISTS = "The output file (also with suffixes e.g. results(1).jplag) already exists. You can use --overwrite to overwrite the file.";
34
+
privatestaticfinalStringOUTPUT_FILE_EXISTS = "The output file already exists. You can use --overwrite to overwrite the file.";
35
35
privatestaticfinalStringOUTPUT_FILE_NOT_WRITABLE = "The output file (%s) cannot be written to.";
"--result-file"}, description = "Name of the file in which the comparison results will be stored (default: ${DEFAULT-VALUE}). Missing .jplag endings will be automatically added.")
53
+
"--result-file"}, description = "Name of the file in which the comparison results will be stored (default: ${DEFAULT-VALUE}). Missing .jplag extension will be automatically added.")
0 commit comments