remove num_city_buildings(), use city_has_building() instead
michaelortmann has provided PR https://github.com/freeciv/freeciv/pull/53 :
"Simplify: remove num_city_buildings(), use city_has_building() instead"
michaelortmann has provided PR https://github.com/freeciv/freeciv/pull/53 :
"Simplify: remove num_city_buildings(), use city_has_building() instead"