Update number of ports

This commit is contained in:
Murray Stokely 2004-04-19 09:42:43 +00:00
parent 7840c4bae3
commit ddbcd9bd9b
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=20743

View file

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