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 /src/plugins/nsh | |
| 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 'src/plugins/nsh')
0 files changed, 0 insertions, 0 deletions