]> git.p6c8.net - devedit.git/commitdiff
check_path() was cleaned up. It now uses upper_path() and file_name() instead of...
authorpcanterino <>
Mon, 13 Oct 2003 17:35:48 +0000 (17:35 +0000)
committerpcanterino <>
Mon, 13 Oct 2003 17:35:48 +0000 (17:35 +0000)

No differences found

patrick-canterino.de