CoralMUD-0.15/

CoralMUD-0.15/core/

CoralMUD-0.15/data/

idnum.txt

CoralMUD-0.15/data/areas/

CoralMUD-0.15/data/help/

CoralMUD-0.15/data/players/

Super.yml

CoralMUD-0.15/lib/

CoralMUD-0.15/lib/automap/

automap.rb

CoralMUD-0.15/lib/commands/

CoralMUD-0.15/lib/editor/

CoralMUD-0.15/lib/items/

items.rb
types.rb

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