-increased hit-points of oil derricks by 100%, since it gets destroyed too easily by lucky shots. Needs testing.
git-svn-id: svn+ssh://svn.gna.org/svn/warzone/trunk@4445 4a71c877-e1ca-e34f-864e-861f7616d084
Fixed button highlight problem in the map selection GUI (was
a very funny bug :) ).
git-svn-id: svn+ssh://svn.gna.org/svn/warzone/trunk@410 4a71c877-e1ca-e34f-864e-861f7616d084