Small improvements#47
Closed
debnet wants to merge 6 commits intomanosim:masterfrom debnet:master
+177-51
Commits
Commits on Dec 22, 2015
- committedMaxence
Commits on Jan 3, 2016
- committedMarc
Commits on Jan 4, 2016
- committedMaxence
Commits on Jan 5, 2016
- committedMaxence
- committedMaxence
- committedMaxence