Project

General

Profile

« Previous | Next » 

Revision 32c5301d

Added by danij over 11 years ago

World: Improved console output

Also tried out the new rich formatting with the current map element
information (is this right?).

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences