- Update the total numbers and size of Ports Collection.

This commit is contained in:
Chin-San Huang 2008-08-16 11:24:39 +00:00
parent cf0e24c943
commit 4897bbe633
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=32671

View file

@ -76,8 +76,8 @@ used in both environments.
<!ENTITY % not.published "IGNORE">
<!-- Number of ports in the ports tree -->
<!ENTITY os.numports "18,000">
<!ENTITY ports.size "440&nbsp;MB">
<!ENTITY os.numports "19,000">
<!ENTITY ports.size "445&nbsp;MB">
<!-- GUI-buttons -->
<!ENTITY gui.ok "<guibutton>[&nbsp;OK&nbsp;]</guibutton>">