diff dist-files.mk @ 4918:48b9473dd2ad

of-quaternion: add dev 6.0 fixes * src/of-quaternion-2-dev-fixes.patch: new file * dist-files.mk: add ref to of-quaternion-2-dev-fixes.patch
author John Donoghue
date Thu, 03 Jan 2019 09:05:01 -0500
parents 4f39dbdea431
children 9cf8d7a723d7
line wrap: on
line diff
--- a/dist-files.mk	Thu Jan 03 09:02:52 2019 -0500
+++ b/dist-files.mk	Thu Jan 03 09:05:01 2019 -0500
@@ -516,6 +516,7 @@
   of-optiminterp-1-dev-fixes.patch \
   of-optiminterp.mk \
   of-quaternion-1-cross-fixes.patch \
+  of-quaternion-2-dev-fixes.patch \
   of-quaternion.mk \
   of-queueing.mk \
   of-signal-1-fixes.patch \