]> git.p6c8.net - devedit.git/history - devedit.conf
You can now define alias names for users who have an individual configuration,
[devedit.git] / devedit.conf
2005-04-10 pcanterino- Began to change the behaviour of Dev-Editor's editing...

patrick-canterino.de