Completed
Pull Request — master (#23)
by
unknown
06:01 queued 03:43
created

No notable changes

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

9.92
▶   ± 0
Head
Jeroen De Dauw  
Merge pull request #23 from wmde/Makefile
2 more commits
Base
Jeroen De Dauw  
Merge pull request #20 from wmde/tests