Update for number of ports in the ports tree. (Obtained from
ports/INDEX rev. 1.366.)
This commit is contained in:
parent
48120e76e8
commit
611aa86b9d
Notes:
svn2git
2020-12-08 03:00:23 +00:00
svn path=/head/; revision=14460
1 changed files with 1 additions and 1 deletions
|
@ -28,7 +28,7 @@
|
||||||
<!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 "7,000">
|
<!ENTITY os.numports "7,600">
|
||||||
|
|
||||||
<!-- GUI-buttons -->
|
<!-- GUI-buttons -->
|
||||||
<!ENTITY gui.ok "<guibutton>[ OK ]</guibutton>">
|
<!ENTITY gui.ok "<guibutton>[ OK ]</guibutton>">
|
||||||
|
|
Loading…
Reference in a new issue