-
Pino Toscano authored
there is no more a top-level CMakeLists.txt searching it; this makes the plucker backend compilable again (cherry picked from commit 41c57246)
5647ad56
there is no more a top-level CMakeLists.txt searching it; this makes the plucker backend compilable again (cherry picked from commit 41c57246)