From 1f684b5db506baa73ea02da2926125ce46235ae3 Mon Sep 17 00:00:00 2001 From: "Michael D. Lowis" Date: Sun, 18 Feb 2018 15:09:57 -0500 Subject: [PATCH] dependencies changed --- deps.mk | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/deps.mk b/deps.mk index 9670083..f6fa79e 100644 --- a/deps.mk +++ b/deps.mk @@ -1,5 +1,5 @@ -edit.cmo edit.cmi : lib/x11.cmi lib/view.cmi lib/draw.cmi lib/buf.cmi edit.ml -edit.cmx edit.o edit.cmi : lib/x11.cmi lib/x11.cmx lib/view.cmi lib/view.cmx lib/draw.cmi lib/draw.cmx lib/buf.cmi lib/buf.cmx edit.ml +edit.cmo edit.cmi : lib/x11.cmi lib/view.cmi lib/draw.cmi edit.ml +edit.cmx edit.o edit.cmi : lib/x11.cmi lib/x11.cmx lib/view.cmi lib/view.cmx lib/draw.cmi lib/draw.cmx edit.ml lib/buf.cmo : lib/rope.cmi lib/misc.cmi lib/colormap.cmi lib/buf.cmi lib/buf.ml lib/buf.cmx lib/buf.o : lib/rope.cmi lib/rope.cmx lib/misc.cmi lib/misc.cmx lib/colormap.cmi lib/colormap.cmx lib/buf.cmi lib/buf.ml lib/buf.cmi : lib/colormap.cmi -- 2.52.0