Update for the number of ports in the ports tree.

This commit is contained in:
Bruce A. Mah 2003-12-13 06:59:05 +00:00
parent 1de2bdb161
commit 8c9fe18630
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=19153

View file

@ -46,7 +46,7 @@
<!ENTITY % not.published "IGNORE">
<!-- Number of ports in the ports tree -->
<!ENTITY os.numports "9,200">
<!ENTITY os.numports "9,600">
<!ENTITY ports.size "300&nbsp;MB">
<!-- GUI-buttons -->