remote: put options list in a better shape, adjusted documentation
commit55c1ad9e0dbefb9a14c31166743ff5b3b12cb37f
authorFlavio Poletti <flavio@polettix.it>
Fri, 8 Aug 2008 07:47:51 +0000 (8 09:47 +0200)
committerFlavio Poletti <flavio@polettix.it>
Fri, 8 Aug 2008 07:47:51 +0000 (8 09:47 +0200)
treea2942b23ed876c6246329cb533b37458b1c211a3
parent4917c409cfe48698ee67160f9a535505400cb2fb
remote: put options list in a better shape, adjusted documentation
remote