Update number of Ports Collections.
(That's my 82th doc commit). PR: docs/99752 Submitted by: chinsan_tw@gmail_com.
This commit is contained in:
parent
6f4acb5f13
commit
ed5e278004
Notes:
svn2git
2020-12-08 03:00:23 +00:00
svn path=/head/; revision=28194
1 changed files with 1 additions and 1 deletions
|
@ -59,7 +59,7 @@ used in both environments.
|
|||
<!ENTITY % not.published "IGNORE">
|
||||
|
||||
<!-- Number of ports in the ports tree -->
|
||||
<!ENTITY os.numports "13,300">
|
||||
<!ENTITY os.numports "15,000">
|
||||
<!ENTITY ports.size "440 MB">
|
||||
|
||||
<!-- GUI-buttons -->
|
||||
|
|
Loading…
Reference in a new issue