]> git.p6c8.net - devedit.git/history - devedit.conf
Removed the JavaScript code which prevents users from marking text in the
[devedit.git] / devedit.conf
2005-04-10 pcanterino- Began to change the behaviour of Dev-Editor's editing...

patrick-canterino.de