We now have (more than) 7,000 ports.

Pointed out by:	rpratt
This commit is contained in:
Bruce A. Mah 2002-05-28 00:22:40 +00:00
parent 93ed43a37f
commit 8bd73a52b5
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=13259

View file

@ -24,7 +24,7 @@
<!ENTITY % not.published "IGNORE">
<!-- Number of ports in the ports tree -->
<!ENTITY os.numports "6,600">
<!ENTITY os.numports "7,000">
<!-- GUI-buttons -->
<!ENTITY gui.ok "<guibutton>[&nbsp;OK&nbsp;]</guibutton>">