Chris Beck 60777429c3 Purge "human_ai" controller type ...

This is a fixup of bugfix #18829 (which was commit
736ceaa6c7e81882c9c5b2e932307b1f1ecb3bfd)

2014-03-19 17:20:36 -04:00

..

default

Purge "human_ai" controller type

2014-03-19 17:20:36 -04:00

default.cfg

Move data/hardwired/tips.cfg to data/tips.cfg

2014-02-13 22:28:02 -03:00

schema.cfg

Add reevaluate_best_size_ function for a window.

2014-02-08 21:10:31 +01:00