diff options
author | Bernhard M. Wiedemann <bwiedemann@suse.de> | 2018-10-03 01:16:19 +0200 |
---|---|---|
committer | Bernhard M. Wiedemann <bwiedemann@suse.de> | 2018-10-03 01:16:19 +0200 |
commit | 76e2cccf18d9acf119c34968c6be52cc3afb0f84 (patch) | |
tree | 5fcc461123d8d50dfcf42a0d0b49a156d7563851 /Makefile | |
parent | 88076749e663e35925c2212eb79e2ec4ce023772 (diff) |
jvppgen: update headers
headers of generated files should correctly tell
about where it cames from to not confuse readers.
Change-Id: If667fa4aab188978156982adf3fa13474bd93e9e
Signed-off-by: Bernhard M. Wiedemann <bwiedemann@suse.de>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions