Update number of ports in Ports Collection.

This commit is contained in:
Murray Stokely 2003-03-08 09:49:46 +00:00
parent b5c9a80b54
commit 3c88669f0d
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=16217

View file

@ -28,7 +28,7 @@
<!ENTITY % not.published "IGNORE">
<!-- Number of ports in the ports tree -->
<!ENTITY os.numports "7,800">
<!ENTITY os.numports "8,200">
<!ENTITY ports.size "210&nbsp;MB">
<!-- GUI-buttons -->