Saving files before refreshing line endings

This commit is contained in:
2016-12-01 15:11:21 +01:00
parent 77842de665
commit dfc0cb279d
13 changed files with 5227 additions and 5168 deletions
@@ -36,4 +36,9 @@ public class DumpInfoSpecial extends DumpInfo {
this.specialType = specialType;
this.specialValue = specialValue;
}
@Override
public String toString() {
return super.toString() + " (special: " + specialValue + ")";
}
}