tree 79547656b0b2b2fafdd37549969a73bfb5bbf382
parent 3e9d38f80da8c10426533fbe6821b3fa1ff82dd8
author Giovanni Bajo <rasky@develer.com> 1418677106 +0100
committer Giovanni Bajo <rasky@develer.com> 1418677106 +0100

Document new option