Completed
Push — master ( c5739b...c5bd76 )
by Ivannis Suárez
02:40
created

No notable changes

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

9.92
▶   ± 0
Head
Ivannis  
Merge branch 'master' into issue#24
Base
karel  
fixed phpdoc