Hi Anto, On Thu, Nov 25, 2010 at 9:24 AM, Maciej Fijalkowski <fijall at gmail.com> wrote: > For the same reason why we don't put extradoc in checkout I guess. I tend to agree with fijal that this file should be in extradoc/somepath... Armin