]> git.p6c8.net - devedit.git/commitdiff
Preserve the directory listing filter if the user changes the directory using
authorpcanterino <>
Mon, 15 Aug 2005 14:25:34 +0000 (14:25 +0000)
committerpcanterino <>
Mon, 15 Aug 2005 14:25:34 +0000 (14:25 +0000)
the input field at the bottom of the directory listing


No differences found

patrick-canterino.de