portal:
* clean up obsolete code in order to remove the rare cases of wrong-sided portals
* fix formula of last commit
notice: since last commit portals can happen to move faster than 1000px/sec, I'll take care of that soon ;)
IDI_ICON1 ICON DISCARDABLE "hedgewars.ico"