diff dist-files.mk @ 4917:4f39dbdea431

of-optiminterp: add dev 6.0 patch * src/of-optiminterp-1-dev-fixes.patch: new file * dist-files.mk: add ref to of-optiminterp-1-dev-fixes.patch
author John Donoghue
date Thu, 03 Jan 2019 09:02:52 -0500
parents 8b862c9f48ba
children 48b9473dd2ad
line wrap: on
line diff
--- a/dist-files.mk	Thu Jan 03 09:00:59 2019 -0500
+++ b/dist-files.mk	Thu Jan 03 09:02:52 2019 -0500
@@ -513,6 +513,7 @@
   of-odepkg.mk \
   of-optim-1-fixes.patch \
   of-optim.mk \
+  of-optiminterp-1-dev-fixes.patch \
   of-optiminterp.mk \
   of-quaternion-1-cross-fixes.patch \
   of-quaternion.mk \