Michael Van Canneyt schreef: > > > On Fri, 14 Aug 2009, Mattias Gärtner wrote: > >> Yes. I guess, it should be removed. >> >> Michael, your advice? > > cgiapp can be removed. > Done in r21222. Vincent