8800+ ports in the ports tree now, according to INDEX 1.376 and
INDEX-5 1.11.
This commit is contained in:
parent
115626b75a
commit
137f2d5704
Notes:
svn2git
2020-12-08 03:00:23 +00:00
svn path=/head/; revision=17400
1 changed files with 1 additions and 1 deletions
|
@ -35,7 +35,7 @@
|
|||
<!ENTITY % not.published "IGNORE">
|
||||
|
||||
<!-- Number of ports in the ports tree -->
|
||||
<!ENTITY os.numports "8,600">
|
||||
<!ENTITY os.numports "8,800">
|
||||
<!ENTITY ports.size "210 MB">
|
||||
|
||||
<!-- GUI-buttons -->
|
||||
|
|
Loading…
Reference in a new issue