diff options
Diffstat (limited to 'subprojects/pybind11.wrap')
-rw-r--r-- | subprojects/pybind11.wrap | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/subprojects/pybind11.wrap b/subprojects/pybind11.wrap deleted file mode 100644 index e8037a5d..00000000 --- a/subprojects/pybind11.wrap +++ /dev/null @@ -1,9 +0,0 @@ -[wrap-git] -url = https://github.com/pybind/pybind11.git -# This is the head of 'smart_holder' branch -revision = aebdf00cd060b871c5a1e0c2cf4a333503dd0431 -depth = 1 -patch_directory = pybind11 - -[provide] -pybind11 = pybind11_dep |