diff options
| author | tslil <tslil@posteo.de> | 2026-04-28 15:00:45 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-28 17:07:32 +0100 |
| commit | 67e3285ae6c7b94adc1983dcff18a009455bc582 (patch) | |
| tree | d33fc75fdb041dd92d089f2039ab08902f09d95c /.gitignore | |
| parent | ecc2c04edbcfdd097377683c28b92cd10e437d35 (diff) | |
snapshot of working through instances/singatures <> sets/elements
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions