You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
[submodule "extern/pybind11"]
|
|
path = extern/pybind11
|
|
url = https://github.com/pybind/pybind11.git
|
|
branch = stable
|