Commit eb5f03461fbcaa3fef8e63d1b0f7c682708fadd2

Carlos Martín Nieto 2014-07-11T12:22:48

checkout: fix docs formatting for the options