search

sourcegraph / scip-python

SCIP indexer for Python
Other
55 stars 25 forks source link

script for updating from upstream #37

Closed tjdevries closed 2 years ago

tjdevries commented 2 years ago

Fixed in 2d88875019d261eca546ac2fefb6c6c4a1c8144e