Saving files before refreshing line endings

This commit is contained in:
honfika@gmail.com
2016-09-06 09:38:28 +02:00
parent 6b20921800
commit 6c8233492b
6 changed files with 2702 additions and 2643 deletions

View File

@@ -36,4 +36,9 @@ public class DumpInfoSpecial extends DumpInfo {
this.specialType = specialType;
this.specialValue = specialValue;
}
@Override
public String toString() {
return super.toString() + " (special: " + specialValue + ")";
}
}