Completed
Push — 2.2 ( 709002...7184e8 )
by Kevin
04:01
created

Changes

1 new patch (Indentation) is available.
8.22
▶   ± 0
Head
Kévin Nguyen  
fix doc
Base
David Maechler  
Merge pull request #6 from nguyenk/2.2