diff COPYING @ 383:8981fc45fe17 default-army-name

Re #153: Default name for armies Hopefully API code added as well
author snowblizz
date Tue, 07 Sep 2010 11:53:22 +0000
parents 2f3cafb69799
children
line wrap: on
line diff