CoralMUD-0.18/
CoralMUD-0.18/core/
CoralMUD-0.18/data/
CoralMUD-0.18/data/help/
CoralMUD-0.18/data/players/
CoralMUD-0.18/data/socials/
CoralMUD-0.18/lib/automap/
CoralMUD-0.18/lib/items/
class Player
  def cmd_save command_table_entry, arg
    text_to_player "Player files are autosaved.  There is no need to save manually." + ENDL
    save_pfile
  end
end