We hit port10K two days ago. Good work to all involved.

This commit is contained in:
Ceri Davies 2003-12-31 14:22:56 +00:00
parent 98308508ba
commit 7c4c8612d1
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=19409

View file

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