diff options
| author | Yuchen Pei <id@ypei.org> | 2023-08-03 20:13:54 +1000 |
|---|---|---|
| committer | Yuchen Pei <id@ypei.org> | 2023-08-03 20:13:54 +1000 |
| commit | 1561511c4ea5e1ba9157e74e4e8e7bac76c95210 (patch) | |
| tree | d1c9e16820e6828bef27d254573d59b3377fa0c1 /.gitignore | |
| parent | 53d94b9afd8dd51dd591f70b4f00b77c3ed403b4 (diff) | |
minor changes in dediting, prog, gdbinit
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions