mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-01-25 13:41:56 +01:00
Merge pull request #1196 from fpco/DanBurton-patch-2
Re-enable agda-snippets
This commit is contained in:
commit
7ecf5a5eac
@ -449,8 +449,7 @@ packages:
|
|||||||
- latex-formulae-image
|
- latex-formulae-image
|
||||||
- latex-formulae-pandoc
|
- latex-formulae-pandoc
|
||||||
- latex-formulae-hakyll
|
- latex-formulae-hakyll
|
||||||
# https://github.com/liamoc/agda-snippets/issues/2
|
- agda-snippets
|
||||||
# - agda-snippets
|
|
||||||
# - agda-snippets-hakyll
|
# - agda-snippets-hakyll
|
||||||
|
|
||||||
"Dan Burton <danburton.email@gmail.com> @DanBurton":
|
"Dan Burton <danburton.email@gmail.com> @DanBurton":
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user