diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-01 12:46:36 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-01 12:46:36 +0100 |
| commit | d1f3b622f0b436d89ad9e352e1a9071e72799455 (patch) | |
| tree | 23fa8af3eb8ebe01e510cd8aea7f220b7c27045d /core/os/shell.h | |
| parent | 89560c2138d00c6b64f09dda97a18cb84ab76aff (diff) | |
Fix missing/malformed license headers
Diffstat (limited to 'core/os/shell.h')
0 files changed, 0 insertions, 0 deletions