Completed
Push — master ( 084fdd...b994b4 )
by Ivannis Suárez
02:24
created

No notable changes

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

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