Yair Morgenstern 6bdd0da3ea Notifications are now per-civ instead of game-wide, in preparation for multiplayer ... Added player type to civinfo, in preparation for multiplayer		2018-12-18 18:57:13 +02:00
..
automation	Merge pull request #355 from ninjatao/fish_boat	2018-12-17 11:47:33 +02:00
battle	Notifications are now per-civ instead of game-wide, in preparation for multiplayer	2018-12-18 18:57:13 +02:00
city	Notifications are now per-civ instead of game-wide, in preparation for multiplayer	2018-12-18 18:57:13 +02:00
civilization	Notifications are now per-civ instead of game-wide, in preparation for multiplayer	2018-12-18 18:57:13 +02:00
map	Massive performance improvement thanks to:	2018-12-17 21:33:07 +02:00
trade	Fix research queue when getting free tech.	2018-12-10 17:50:46 +08:00
GameInfo.kt	Notifications are now per-civ instead of game-wide, in preparation for multiplayer	2018-12-18 18:57:13 +02:00
GameSaver.kt	Code inspection and other general fixes - gotta clean up when there are guests ;)	2018-12-04 23:21:57 +02:00
HexMath.kt	Added Diplomacy overview!	2018-12-06 13:33:10 +02:00