diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2022-11-13 09:24:12 +0100 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2022-11-13 09:24:12 +0100 |
| commit | a503d1703f92ec3aa67f2aefdfb3488c340e14f8 (patch) | |
| tree | b2060facbc769eb56feb238910f61e43dcda0f4b /.gitignore | |
| parent | b87df3a1e6981e8cfb9f685b64f6b367d1b993ca (diff) | |
Use inference rules
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions