From 62cfdd7b7caafb8c33aa4f92bbeea6d2b9cd431f Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Tue, 13 Feb 2018 02:03:50 +0300
Subject: [PATCH] Removed .depend

---
 src/.depend | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 src/.depend

diff --git a/src/.depend b/src/.depend
deleted file mode 100644
index e74023636..000000000
--- a/src/.depend
+++ /dev/null
@@ -1,4 +0,0 @@
-DSL.cmo : Expr.cmo
-DSL.cmx : Expr.cmx
-Expr.cmo :
-Expr.cmx :