On Wed, May 22, 2013 at 2:29 AM, Kornel Benko <kor...@lyx.org> wrote: > Am Dienstag, 21. Mai 2013 um 18:57:02, schrieb Scott Kostyshak > <skost...@lyx.org>
> When should we create this vanilla userdir? Maybe some extra target. > Or extra test. > It make thinks more complicated IMHO. Then in that case let's not do it. Scott
