]> git.p6c8.net - devedit.git/commitdiff
You can now define alias names for users who have an individual configuration,
authorpcanterino <>
Fri, 30 Sep 2005 17:16:32 +0000 (17:16 +0000)
committerpcanterino <>
Fri, 30 Sep 2005 17:16:32 +0000 (17:16 +0000)
so you don't need to define an individual sections for users with the same
configuration any more.


No differences found

patrick-canterino.de