Johannes Jost Meixner 48ba880f09 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)		2014-12-02 21:02:33 +00:00
..
distinfo.i386	devel/linux-*-devtools: remove GMP	2014-12-02 21:02:33 +00:00
Makefile	devel/linux-*-devtools: remove GMP	2014-12-02 21:02:33 +00:00
pkg-descr
pkg-plist	devel/linux-*-devtools: remove GMP	2014-12-02 21:02:33 +00:00