Merge pull request #2217 from ndmitchell/master

Remove pugixml
This commit is contained in:
Michael Snoyman 2017-01-19 09:22:51 +02:00 committed by GitHub
commit cf8a821af5

View File

@ -202,7 +202,6 @@ packages:
- extra
- bake
- ghcid
- pugixml
- hexml
"Alan Zimmerman @alanz":