"devtools/vscode:/vscode.git/clone" did not exist on "c82a8dcaed84153b2abd1c7da067ad11db2c60a1"
-
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
