"devtools/ci/vscode:/vscode.git/clone" did not exist on "8dd609141535bee98ee56134a0065ae547c6f938"
-
peastman authored
Platform specific header files get installed. This allows plugins to be built with just an OpenMM installation, not a full source tree.
300758a5
