Update port count.

This commit is contained in:
Murray Stokely 2002-01-24 13:12:25 +00:00
parent bd8155487c
commit 7e1c5e72bb
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=11874

View file

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