Page MenuHomeWildfire Games

delete unused duplicate elephant icon
ClosedPublic

Authored by Nescio on Jan 20 2020, 8:00 PM.

Details

Reviewers
Stan
Group Reviewers
Restricted Owners Package(Owns No Changed Paths)
Commits
rP23522: Delete unused duplicate elephant icon
Summary

This patch deletes the fauna_elephant.png icon, because it's unused and identical to fauna_elephant_african_bush.png
Similar patches: D2551, D2586.

Test Plan

Ought to be uncontroversial.

Diff Detail

Repository
rP 0 A.D. Public Repository
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

Nescio created this revision.Jan 20 2020, 8:00 PM
Owners added a subscriber: Restricted Owners Package.Jan 20 2020, 8:00 PM
Stan accepted this revision.Jan 20 2020, 8:02 PM
This revision is now accepted and ready to land.Jan 20 2020, 8:02 PM

Successful build - Chance fights ever on the side of the prudent.

Linter detected issues:

Link to build: https://jenkins.wildfiregames.com/job/docker-differential/1618/display/redirect

This revision was automatically updated to reflect the committed changes.