diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2025-03-03 17:34:16 +0100 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-03-03 17:34:16 +0100 |
| commit | cabd95c691e7bf0bf5adb4609e6df2a10b08856c (patch) | |
| tree | 0a9216f89afd28614940dae940a86334b41e5572 /rules/.gitignore | |
| parent | e34869318cd37fa73c12291141a5fea29248aede (diff) | |
Run test primals with Compile (not all succeed yet)
Diffstat (limited to 'rules/.gitignore')
0 files changed, 0 insertions, 0 deletions