src: scrub spurious prefix from copyright header
We do not embed file names into the header, because files get deleted and renamed every now and then. git-log is a good way to read the full history.
Showing
Please register or sign in to comment