-
Sébastien Wilmet authored
The previous commit removed the filenames, but didn't remove the line, since in most cases it wasn't necessary (and the diff --stat was clearer if it was the same for every file, i.e. only one line modified).
ae5b4e22
The previous commit removed the filenames, but didn't remove the line, since in most cases it wasn't necessary (and the diff --stat was clearer if it was the same for every file, i.e. only one line modified).