diff options
| author | dzwdz | 2021-07-10 18:35:44 +0200 |
|---|---|---|
| committer | dzwdz | 2021-07-10 18:35:44 +0200 |
| commit | 861c98378a19d39b0a64b1cc20cf2b797a094f09 (patch) | |
| tree | 8ad9294ac094c0d347cc9922f3085716db45a295 /.gdbinit | |
| parent | f0118ca8050a6c1e96689469a6132aa5d1ac0a22 (diff) | |
building the .iso is now the default Make target
Diffstat (limited to '.gdbinit')
0 files changed, 0 insertions, 0 deletions