From 3439c87294a7e25cea88632cdcc0630d4f3746bc Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Sat, 3 Feb 2018 21:00:19 +0100 Subject: No trees --- edit-lens/src/Control/Edit/Tree.lhs | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 edit-lens/src/Control/Edit/Tree.lhs (limited to 'edit-lens/src/Control/Edit/Tree.lhs') diff --git a/edit-lens/src/Control/Edit/Tree.lhs b/edit-lens/src/Control/Edit/Tree.lhs deleted file mode 100644 index 28320c5..0000000 --- a/edit-lens/src/Control/Edit/Tree.lhs +++ /dev/null @@ -1,9 +0,0 @@ -\begin{comment} -\begin{code} -module Control.Edit.Tree - ( - ) where - -import Control.Edit -\end{code} -\end{comment} -- cgit v1.2.3