Delete the generated HTML Filename when deleting a text file
commit30fe8f7425def4dec6a34145f5cb1c5f4e177564
authorOlivier Ramonat <olivier@ramonat.fr>
Sun, 23 Dec 2007 21:45:06 +0000 (23 22:45 +0100)
committerOlivier Ramonat <olivier@ramonat.fr>
Sun, 23 Dec 2007 21:45:06 +0000 (23 22:45 +0100)
tree02f3ea295b7bdde983f6cf122b77b2a34c99b4b1
parent06aa7e92d1b17f6519926b84508007d6622b46c1
Delete the generated HTML Filename when deleting a text file
gwiad_wiki_service/website/src/wiki_website-callbacks.adb