diff options
| author | dzwdz | 2021-07-18 14:27:45 +0200 |
|---|---|---|
| committer | dzwdz | 2021-07-18 14:27:45 +0200 |
| commit | b38298319411965cbb7e9ed1312b24ba36cc7c44 (patch) | |
| tree | 375c5a426d178b0c0f9190a44d0f7e9ee6216278 /tools/linter/main.rb | |
| parent | ed12953042ec38244f3ab93d67f4c2dea6f1fee3 (diff) | |
move the kernel linker script to src/kernel/
Diffstat (limited to 'tools/linter/main.rb')
0 files changed, 0 insertions, 0 deletions