Merge pull request #885 from Daniel-Diaz/master

Additional Daniel Díaz's Packages
This commit is contained in:
Jens Petersen 2015-10-12 00:29:01 +09:00
commit bbb911becb

View File

@ -443,12 +443,19 @@ packages:
- lambdabot
"Daniel Díaz dhelta.diaz@gmail.com @Daniel-Diaz":
- HaTeX
- matrix
- bimap-server
- binary-list
- byteset
- grouped-list
- haskintex
- post-mess-age
- HaTeX
- hatex-guide
- include-file
- matrix
- pcre-light
- phantom-state
- post-mess-age
- sorted-list
"Gabriel Gonzalez <Gabriel439@gmail.com>":
- pipes