Allow specifying a custom generated header name#350

Closed

segiddins wants to merge 6 commits intobazelbuild:masterfrom

segiddins:segiddins/generated-header-name

Commits on Jan 13, 2020

Fix check for slash in header name

segiddins
and
thii
authored