Update the on-disk and numerical sizes of the ports tree.
This commit is contained in:
parent
c8552fdde7
commit
222fa08633
Notes:
svn2git
2020-12-08 03:00:23 +00:00
svn path=/head/; revision=23753
1 changed files with 2 additions and 2 deletions
|
@ -59,8 +59,8 @@ used in both environments.
|
||||||
<!ENTITY % not.published "IGNORE">
|
<!ENTITY % not.published "IGNORE">
|
||||||
|
|
||||||
<!-- Number of ports in the ports tree -->
|
<!-- Number of ports in the ports tree -->
|
||||||
<!ENTITY os.numports "11,800">
|
<!ENTITY os.numports "12,300">
|
||||||
<!ENTITY ports.size "300 MB">
|
<!ENTITY ports.size "400 MB">
|
||||||
|
|
||||||
<!-- GUI-buttons -->
|
<!-- GUI-buttons -->
|
||||||
<!ENTITY gui.ok "<guibutton>[ OK ]</guibutton>">
|
<!ENTITY gui.ok "<guibutton>[ OK ]</guibutton>">
|
||||||
|
|
Loading…
Reference in a new issue