Completed
Push — master ( 83f3f2...00f539 )
by Filippo
08:46 queued 06:03
created

No notable changes

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

8.33
▶   ± 0
Head
Filippo Fadda  
improved doc
Base
Filippo Fadda  
fixed a documentation problem