diff options
author | Raito Bezarius | 2024-04-12 20:04:50 +0200 |
---|---|---|
committer | Raito Bezarius | 2024-04-12 20:04:50 +0200 |
commit | fb324b6f4ec780ad486e5beb154eb1fe590b8aab (patch) | |
tree | 244da4c223617589c3497ae0b116312c2212ae94 /lean-toolchain | |
parent | 33b319d8be7f550fee29e104e263021789a24dab (diff) |
fixup! feat: cleanup more the gitignore
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions