diff options
author | Danny van Kooten <dannyvankooten@users.noreply.github.com> | 2020-03-20 14:01:49 +0100 |
---|---|---|
committer | Danny van Kooten <dannyvankooten@users.noreply.github.com> | 2020-03-20 14:01:49 +0100 |
commit | 9f4d4ab24e7a539621bcd810b84201b0127c0870 (patch) | |
tree | 5de7ad10ab45653dd55eabd9ff8656b112dc18f9 /.gitignore | |
parent | 26a1adffd4ac7b4f1390ba0135ede850697c4dfa (diff) | |
download | unja-9f4d4ab24e7a539621bcd810b84201b0127c0870.tar.gz unja-9f4d4ab24e7a539621bcd810b84201b0127c0870.zip |
allow negating singular terms & add loop variables
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions