diff options
| author | CoprDistGit <copr-devel@lists.fedorahosted.org> | 2023-03-09 02:03:07 +0000 |
|---|---|---|
| committer | CoprDistGit <copr-devel@lists.fedorahosted.org> | 2023-03-09 02:03:07 +0000 |
| commit | 9c26f1515bf93ba0857ef2960c483aec815d992e (patch) | |
| tree | fe2b3565780aa7e50caaa2b56cb9ce9c42c19af0 /.gitignore | |
| parent | 3fc3ea529273b0f33e84c0e686c362351413dd09 (diff) | |
automatic import of python-clingo
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -0,0 +1 @@ +/clingo-5.6.2.tar.gz |