The latest ports/INDEX contains 9210 ports. Update os.numports accordingly.

This commit is contained in:
Ceri Davies 2003-09-11 20:51:23 +00:00
parent a2afb04afc
commit 67334bfa0d
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=18111

View file

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