K 10
svn:author
V 3
xmj
K 8
svn:date
V 27
2014-12-02T21:02:33.642113Z
K 7
svn:log
V 212
devel/linux-*-devtools: remove GMP

With GMP in linux_base-* remove its occurrence in the devtools port.

Spotted by:	antoine
Differential Revision:	https://reviews.freebsd.org/D1256
Approved by:	swills (mentor)

END