tree a0c7538f2b1378d34ee148b534918207160589b6
parent 68c65a5d3a6a8cb8133b5e9311fc5dc21de88e9c
author Matthieu Boutier <boutier@pps.jussieu.fr> 1328969373 +0100
committer Paul Jakma <paul@quagga.net> 1332691614 +0100

doc: fix typo.