Closed jchodera closed 9 years ago
no, it's not being used by anything.
On Wed, Jun 24, 2015 at 8:34 AM, John Chodera notifications@github.com wrote:
@peastman https://github.com/peastman: Do we still need the openmm-pr-780.patch https://github.com/omnia-md/openmm-dev/blob/master/openmm-pr-780.patch for building the current git heads of OpenMM?
— Reply to this email directly or view it on GitHub https://github.com/omnia-md/openmm-dev/issues/6.
Thanks!
@peastman: Do we still need the
openmm-pr-780.patch
for building the current git heads ofOpenMM
?