pav 2004-08-20 22:54:45 UTC FreeBSD ports repository Modified files: x11/ggiterm Makefile Log: - Convert to OPTIONS PR: ports/70728 Submitted by: Ying-Chieh Chen <yinjieh at csie.nctu.edu.tw> Revision Changes Path 1.4 +8 -20 ports/x11/ggiterm/Makefile