Skip to content
Snippets Groups Projects

Resolve "Update to OSI 3.3.1"

Merged Reinhard Biegel requested to merge 56-update-to-osi-3-3-1 into develop
Files
4
+ 1
0
@@ -26,6 +26,7 @@ FIND_PATH(OSI_INCLUDE_DIR "osi3/osi_version.pb.h"
$ENV{EXTERNLIBS}/OSI/include
/usr/local/include
/usr/include
PATH_SUFFIXES include
DOC "OSI - Headers"
)
Loading