can select an alternate config. directory on the command-line
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 2 Sep 2011 13:25:54 +0000 (15:25 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 2 Sep 2011 13:25:54 +0000 (15:25 +0200)
or in the configure screen - although the layout could undoubtedly be improved


No differences found