OpenRA/OpenRA — pull request #4141 by Mailaender (2013-11-15 13:33:29+00:00)
Title: Removed Proxmity trait everywhere

as discussed in #2617.