]> git.p6c8.net - devedit.git/commit
- 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)
commit7416fb4edc504143cf5888717f30ed78d57511a7
tree81922ad64a056c493702e3fccbe0670abbca0063
parent9aec369517b886b0afa3cdbe69160c34ec9731f2
- Added devedit_reload() to easily reload Dev-Editor with different arguments
- Fixed a small output error introduced with revision 1.6 of Command.pm (I'm so stupid...)
modules/Command.pm
modules/Tool.pm

patrick-canterino.de