Re: [patch 01/3] time: Remove useless filenames in top level comments

[Greg Kroah-Hartman]

On Mon, Mar 19, 2018 at 11:04:42AM +0100, Thomas Gleixner wrote:
> Remove the pointless filenames in the top level comments. They have no
> value at all and just occupy space. While at it tidy up some of the
> comments.
> 
> Signed-off-by: Thomas Gleixner <tglx@xxxxxxxxxxxxx>

Reviewed-off-by: Greg Kroah-Hartman <gregkh@xxxxxxxxxxxxxxxxxxx>