]> git.p6c8.net - devedit.git/history - modules/Tool.pm
Do not allow removing or renaming the root directory
[devedit.git] / modules / Tool.pm
2004-07-17 pcanterinoSmall enhancement for devedit_reload()
2004-07-12 pcanterinoD'oh!
2004-07-12 pcanterinoHeavily improved devedit_reload():
2004-06-29 pcanterinoTypo
2004-02-28 pcanterinoSome cleanings...
2004-02-13 pcanterinoBegan to implement the possibility to control the outpu...
2003-12-02 pcanterinoSome cleanings...
2003-10-27 pcanterino- Added devedit_reload() to easily reload Dev-Editor...
2003-10-13 pcanterinocheck_path() was cleaned up. It now uses upper_path...
2003-10-08 pcanterinoDev-Editor 1.0 version_1_0
2003-09-23 pcanterinoInitial version first

patrick-canterino.de