Merge remote-tracking branch 'bp/master'

This commit is contained in:
Erwin Coumans committed 2019-08-09 10:17:57 -07:00
commit f5ae8bd1af
1 file changed
+1
+1
View File
@@ -182,6 +182,7 @@ if not _OPTIONS["no-enet"] then
"../../examples/SharedMemory/plugins/collisionFilterPlugin/collisionFilterPlugin.cpp",
"../../examples/SharedMemory/plugins/pdControlPlugin/pdControlPlugin.cpp",
"../../examples/SharedMemory/plugins/pdControlPlugin/pdControlPlugin.h",
}