diff options
| author | CoprDistGit <infra@openeuler.org> | 2023-04-12 04:48:26 +0000 |
|---|---|---|
| committer | CoprDistGit <infra@openeuler.org> | 2023-04-12 04:48:26 +0000 |
| commit | 87d4d1cabf0e136a1653532fd696e75f1037cf01 (patch) | |
| tree | 753cf717fcb4a4788d9b5747bed2c952e84e5dbc /.gitignore | |
| parent | 9ad2c0f0e62cac81cc93ad4eefe61e97082d24f4 (diff) | |
automatic import of python-lean
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -0,0 +1 @@ +/lean-1.0.150.tar.gz |