diff options
| author | natrixaeria <upezu@student.kit.edu> | 2019-10-24 18:06:30 +0200 |
|---|---|---|
| committer | natrixaeria <upezu@student.kit.edu> | 2019-10-24 18:06:30 +0200 |
| commit | 541870c280712b9740c18fe0c05c2b7427afb280 (patch) | |
| tree | a7f56a855d1240331cd7d7e3628bcb2432ba15c3 /kernel/.gitignore | |
| parent | 327aa4c75f6f0b788398eb33294454c65823631c (diff) | |
Adapt all build option in build scipt
Diffstat (limited to 'kernel/.gitignore')
0 files changed, 0 insertions, 0 deletions