]> git.p6c8.net - devedit.git/commitdiff
- Added devedit_reload() to easily reload Dev-Editor with different arguments
authorpcanterino <>
Mon, 27 Oct 2003 10:37:09 +0000 (10:37 +0000)
committerpcanterino <>
Mon, 27 Oct 2003 10:37:09 +0000 (10:37 +0000)
- Fixed a small output error introduced with revision 1.6 of Command.pm (I'm so stupid...)


No differences found

patrick-canterino.de