]> git.p6c8.net - devedit.git/commit
Improved file editing using another filename:
authorpcanterino <>
Mon, 4 Oct 2004 17:50:04 +0000 (17:50 +0000)
committerpcanterino <>
Mon, 4 Oct 2004 17:50:04 +0000 (17:50 +0000)
commit4e40e9a450e412da79b7c3ef4a1eaae268b206a4
treeca181486e0bdb30e7e4a6cbf8fa1ff36daa57578
parente03c585e9e4b96bd2934c57cf7c4ec030a13eaed
Improved file editing using another filename:
- If the user just entered spaces as filename (detection works for other
  commands using the "newfile" CGI parameter too), we use the original filename
- Saving even works, if the file has to be created first
devedit.pl

patrick-canterino.de