Rename autogen files #6974
Description
We have still some files with autogen in their names. The files is not regenerated and should be renamed.
The comments like "this is an autogen'ed file, don't edit" should be removed too.
{{ message }}
We have still some files with autogen in their names. The files is not regenerated and should be renamed.
The comments like "this is an autogen'ed file, don't edit" should be removed too.