"plugins/drude/vscode:/vscode.git/clone" did not exist on "b1a8d79244c41e4c0f535d2fef56714dc160612b"
-
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
