Edited wiki page through web user interface.
Authored by: bruno.herbelin@gmail.com 2010-07-05
Parent: [r150]
Child: [r152]
