Subject: Re: Keep index of locally available projects updated
Author: Michael
Date: 09/07/2015 19:18
EDIT:
Additionally I want to mention that I basically want to do what's described in
the "Build top index (of all projects)" chapter of the help. Unfortunately I
can neither understand nor reproduce the description given there...