diff options
Diffstat (limited to 'textproc/hs-lhs2tex/files/patch-src_Document.lhs')
| -rw-r--r-- | textproc/hs-lhs2tex/files/patch-src_Document.lhs | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/textproc/hs-lhs2tex/files/patch-src_Document.lhs b/textproc/hs-lhs2tex/files/patch-src_Document.lhs deleted file mode 100644 index fdbeead0aa32..000000000000 --- a/textproc/hs-lhs2tex/files/patch-src_Document.lhs +++ /dev/null @@ -1,10 +0,0 @@ ---- src/Document.lhs.orig 2018-04-25 07:05:53 UTC -+++ src/Document.lhs -@@ -9,6 +9,7 @@ - - %endif - -+> import Prelude hiding ((<>)) - > infixr 5 {-"\enskip"-} <> -- same fixity as `|++|' - - The pretty printer generate documents of type |Doc|. |