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