Merge pull request #705 from fpco/DanBurton-lambdabot

@DanBurton +lambdabot
This commit is contained in:
Dan Burton 2015-07-24 16:04:07 -07:00
commit 444a493117

View File

@ -428,6 +428,7 @@ packages:
- runmemo
- tardis
- lens-family-th
- lambdabot
"Daniel Díaz dhelta.diaz@gmail.com @Daniel-Diaz":
- HaTeX