The ports tree now takes up roughly 300 megabytes.

This commit is contained in:
Chern Lee 2003-09-05 22:10:12 +00:00
parent 853e2f0f13
commit 6deb20ac42
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=18070

View file

@ -41,7 +41,7 @@
<!-- Number of ports in the ports tree --> <!-- Number of ports in the ports tree -->
<!ENTITY os.numports "9,000"> <!ENTITY os.numports "9,000">
<!ENTITY ports.size "210&nbsp;MB"> <!ENTITY ports.size "300&nbsp;MB">
<!-- GUI-buttons --> <!-- GUI-buttons -->
<!ENTITY gui.ok "<guibutton>[&nbsp;OK&nbsp;]</guibutton>"> <!ENTITY gui.ok "<guibutton>[&nbsp;OK&nbsp;]</guibutton>">