Re-enable agda-snippets and agda-snippets-hakyll

This commit is contained in:
Dan Burton 2016-01-27 13:29:27 -08:00
parent 8395bb6d98
commit b9741fc648

View File

@ -448,9 +448,8 @@ packages:
- latex-formulae-image
- latex-formulae-pandoc
- latex-formulae-hakyll
# https://github.com/liamoc/agda-snippets/issues/2
# - agda-snippets
# - agda-snippets-hakyll
- agda-snippets
- agda-snippets-hakyll
"Dan Burton <danburton.email@gmail.com> @DanBurton":
- hspec-jenkins