CrispyPin 6970b18e22 add undo/redo for pasting/area operations		2024-12-16 22:16:58 +01:00
..
board.rs	add undo/redo for pasting/area operations	2024-12-16 22:16:58 +01:00
pos.rs	use i16 for coordinates instead of isize, yielding better cache locality etc	2024-12-07 20:49:23 +01:00
tile.rs	stop cloning strings for every tile texture name lookup, general clippy fixes	2024-12-15 00:38:53 +01:00