K 10
svn:author
V 4
tijl
K 8
svn:date
V 27
2017-11-10T11:19:47.322333Z
K 7
svn:log
V 155
Remove deprecated OVERRIDE_LINUX_BASE_PORT.  It can be set via
DEFAULT_VERSIONS now (e.g. DEFAULT_VERSIONS+=linux=c7).

Noticed by:	xmj
MFC after:	2 weeks

END