diff options
| author | tslil <tslil@posteo.de> | 2026-04-29 17:44:31 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-29 17:46:58 +0100 |
| commit | c579060a7879670d010d649536996bb063dbe689 (patch) | |
| tree | be225e960aef1e818fd672e52706831a7abadaa9 /.gitignore | |
| parent | 2e087fc93f457ab6cd94dd57f719a27bcf7de796 (diff) | |
unconditionally check codomain for var
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions