Completed
Push — master ( 386d8c...7db7e2 )
by Jeroen De
21s queued 11s
created

No notable changes

There were no notable changes in the changeset which was inspected.

4.86
▶   ± 0
Head
Jeroen De Dauw  
Merge pull request #37 from ProfessionalWiki/installdocs
8 more commits
Base
Jeroen De Dauw  
Merge pull request #35 from ProfessionalWiki/phan