Changes have been pushed for the repository "fawkesrobotics/fawkes".
Clone: https://github.com/fawkesrobotics/fawkes.git Gitweb: https://github.com/fawkesrobotics/fawkes The branch, thofmann/fedora32 has been deleted was deebf037aff6547e878bed91bc89ec985a6dff50 deebf037aff6547e878bed91bc89ec985a6dff50 buildsys: use sed instead of GNU grep to detect CGAL version _______________________________________________ fawkes-commits mailing list fawkes-commits@lists.kbsg.rwth-aachen.de https://lists.kbsg.rwth-aachen.de/listinfo/fawkes-commits