]> git.mjollnir.org Git - moodle.git/commit
Don't delete a user if already deleted (reloading page, say)
authormartin <martin>
Sun, 22 Sep 2002 14:42:32 +0000 (14:42 +0000)
committermartin <martin>
Sun, 22 Sep 2002 14:42:32 +0000 (14:42 +0000)
commit66c95f3224f5bca6cd66921c19cf54a6634717aa
treef9940a9eb41b269d07aa9b00b03a42bfd894026e
parent6968fd66560772487552578617de410ef393b7b2
Don't delete a user if already deleted (reloading page, say)
admin/user.php