Merge pull request #3780 from mrkkrp/remove-imprint

Remove ‘imprint’
This commit is contained in:
Dan Burton 2018-07-04 10:23:12 -07:00 committed by GitHub
commit 3eeb139cf7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2280,7 +2280,6 @@ packages:
- mmark
- mmark-ext
- html-entity-map
- imprint
- mmark-cli
- ghc-syntax-highlighter
- facts