Update the ports number (I used a round number 11,800).

This commit is contained in:
Marc Fonvieille 2004-11-06 22:13:52 +00:00
parent 2db86fcb55
commit 73f85ac0d7
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=22812

View file

@ -59,7 +59,7 @@ used in both environments.
<!ENTITY % not.published "IGNORE">
<!-- Number of ports in the ports tree -->
<!ENTITY os.numports "10,500">
<!ENTITY os.numports "11,800">
<!ENTITY ports.size "300&nbsp;MB">
<!-- GUI-buttons -->