This repository has been archived on 2025-02-21. You can view files and clone it, but cannot push or open issues or pull requests.

Jason Long d95ad15b99 TileImage: make some properties final		2015-01-07 20:35:36 -05:00
..
build_tool	TileImage: make some properties final	2015-01-07 20:35:36 -05:00
engine	tile-names: rename old tile names to new tile names automatically	2014-12-21 15:20:49 -05:00
graphics	TileImage: make some properties final	2015-01-07 20:35:36 -05:00
gui	TileImages: use new tile-drawing method in drawing-area	2015-01-07 13:26:41 -05:00
util	copyright: add copyright notices to source files missing it	2013-09-28 20:23:22 +00:00
Main.java	java: start the GUI the proper way, using the EDT	2013-03-18 22:29:56 +00:00
XML_Helper.java	MakeTiles: change format of tiles.idx (preparing for future capability)	2014-09-21 16:37:37 -04:00