diff options
author | Tomi Valkeinen <tomi.valkeinen@ideasonboard.com> | 2021-08-08 21:10:08 +0300 |
---|---|---|
committer | Tomi Valkeinen <tomi.valkeinen@ideasonboard.com> | 2021-08-08 21:10:08 +0300 |
commit | 77eedf7574809ce5edf4d4ea6aa55542b3045c02 (patch) | |
tree | 1dd0026cdea3c5c992c07ac34eddf8a76f03724d /TODO | |
parent | 824bbb1f4cd062d66b457faca50f904b34dfd96c (diff) |
meson: drop unused system-pybind11 option
system-pybind11 is no longer used and can be removed.
Signed-off-by: Tomi Valkeinen <tomi.valkeinen@ideasonboard.com>
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions