diff options
| author | Felix Perktold <Felix.Perktold@student.uibk.ac.at> | 2026-01-18 18:39:19 +0100 |
|---|---|---|
| committer | Felix Perktold <Felix.Perktold@student.uibk.ac.at> | 2026-01-18 18:39:19 +0100 |
| commit | 31e9a82704455dd92cfeef878456493c47cac63b (patch) | |
| tree | ab880b2187aab536655db80aaaa668ae3d575740 /.gitignore | |
| parent | 07cd615c7e1cafccd6d46b3eb68d413f2a2dd9a5 (diff) | |
factor out basic standard procedures (+, -, cons, car...) into separate module
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions