diff options
author | michaelt <what_is_it_to_do_anything@yahoo.com> | 2014-02-15 12:42:01 -0500 |
---|---|---|
committer | michaelt <what_is_it_to_do_anything@yahoo.com> | 2014-02-15 12:42:01 -0500 |
commit | ea05597c8091d528a7a74a199d556c6c81f745e5 (patch) | |
tree | 18a0fbd757db265c1d1c21ab98e14883dbfb553a | |
parent | 4989a35706a2193bd5e0e2e98135d6aecd76cea1 (diff) | |
download | text-pipes-ea05597c8091d528a7a74a199d556c6c81f745e5.tar.gz text-pipes-ea05597c8091d528a7a74a199d556c6c81f745e5.tar.zst text-pipes-ea05597c8091d528a7a74a199d556c6c81f745e5.zip |
omit reference to include.h
-rw-r--r-- | pipes-text.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pipes-text.cabal b/pipes-text.cabal index a6c2971..9351cbf 100644 --- a/pipes-text.cabal +++ b/pipes-text.cabal | |||
@@ -23,7 +23,7 @@ category: Text, Pipes | |||
23 | build-type: Simple | 23 | build-type: Simple |
24 | cabal-version: >=1.10 | 24 | cabal-version: >=1.10 |
25 | 25 | ||
26 | extra-source-files: README.md include/*.h changelog | 26 | extra-source-files: README.md changelog |
27 | source-repository head | 27 | source-repository head |
28 | type: git | 28 | type: git |
29 | location: https://github.com/michaelt/text-pipes | 29 | location: https://github.com/michaelt/text-pipes |