Skip to content

Add lint for copyright headers to 'tidy' tool#57520

Merged
bors merged 4 commits intorust-lang:masterfrom alexreg:tidy-copyright-lintJan 17, 2019

Commits

Commits on Jan 13, 2019

Commits on Jan 16, 2019