freebsd-ports/x11/ggiterm
Pav Lucistnik 313948f537 - Convert to OPTIONS
PR:		ports/70728
Submitted by:	Ying-Chieh Chen <yinjieh@csie.nctu.edu.tw>
2004-08-20 22:54:45 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist