Browse Source

rename v_server_settings_edit.php to server_settings_edit.php.

Mark Crane 13 years ago
parent
commit
38034352c2
1 changed files with 0 additions and 0 deletions
  1. 0 0
      core/servers/server_settings_edit.php

+ 0 - 0
core/servers/v_server_settings_edit.php → core/servers/server_settings_edit.php