diff options
| author | dzwdz | 2021-07-31 16:30:58 +0200 |
|---|---|---|
| committer | dzwdz | 2021-07-31 16:30:58 +0200 |
| commit | 173823ae1c180d40916dc3ca25e7a2bf2be3b1cd (patch) | |
| tree | 898f3161e73e8e84f7dd5bd101d2ce40b22949c3 /src/kernel | |
| parent | 7e10417bbff81eafddc7cba95a9695b68d624494 (diff) | |
fix formatting in github's viewer thingy
Diffstat (limited to 'src/kernel')
0 files changed, 0 insertions, 0 deletions